Katalog der Deutschen Nationalbibliothek

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

161 - 170 von 964

	161	Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics Raths, Thomas, 2014
	162	Beweisen verstehen Gerwig, Mario, 2014
	163	Boolean problems International Workshop on Boolean Problems (11. : 2014 : Freiberg). - Freiberg : Freiberg University of Mining and Technology, Institute of Computer Science, 2014, 1. Auflage
	164	Categories and types in logic, language, and physics Heidelberg : Springer, 2014
	165	Complexity and expressivity of dependence logic extensions Ebbing, Johannes. - Göttingen : Cuvillier, 2014, 1. Aufl.
	166	Connected-homogeneous digraphs Hamann, Matthias. - Hamburg, 2014
	167	Diskrete Mathematik für Einsteiger Beutelspacher, Albrecht. - Wiesbaden : Springer Spektrum, 2014, 5., erw. Aufl.
	168	Diskrete Mathematik mit Grundlagen Iwanowski, Sebastian. - Wiesbaden : Springer Vieweg, 2014
	169	Edgeworth expansions for binomial trees Bock, Alona, 2014
	170	Einführung in die Kombinatorik Tittmann, Peter. - Berlin : Springer Spektrum, 2014, 2. Aufl.