Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=511*
im Bestand: Gesamter Bestand

161 - 170 von 991

	161	Werner Blum und seine Beiträge zum Modellieren im Mathematikunterricht Wiesbaden : Springer Spektrum, 2015
	162	A potpourri of partition properties Weinert, Thilo Volker, 2014
	163	A theory of conditional sets Jamneshan, Asgar, 2014
	164	Arc-pancyclicity in multipartite tournaments & GTECS Grüter, Steffen. - Aachen : Shaker, 2014
	165	Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics Raths, Thomas, 2014
	166	Beweisen verstehen Gerwig, Mario, 2014
	167	Boolean problems International Workshop on Boolean Problems (11. : 2014 : Freiberg). - Freiberg : Freiberg University of Mining and Technology, Institute of Computer Science, 2014, 1. Auflage
	168	Cardinal invariants on Boolean algebras Monk, James Donald. - Basel : Birkhäuser, 2014, 2., rev. ed.
	169	Categories and types in logic, language, and physics Heidelberg : Springer, 2014
	170	Complexity and expressivity of dependence logic extensions Ebbing, Johannes. - Göttingen : Cuvillier, 2014, 1. Aufl.