Katalog der Deutschen Nationalbibliothek

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

211 - 220 von 964

	211	Connection calculi for automated theorem proving in classical and non-classical logics Otten, Jens, 2013
	212	Connectivity in graphs and digraphs Holtkamp, Andreas. - Aachen : Shaker, 2013
	213	Das Unendliche Heidelberg : Spektrum-der-Wiss.-Verl.-Ges., 2013, Nachdr., 3., unveränd. Neuaufl.
	214	Die Abzählbarkeit transfiniter Zahlenmengen und das Cantorsche Kontinuumsproblem Hönig, Volker. - Speyer : V. Hönig, 2013, 1. Aufl.
	215	Die Gödel'schen Unvollständigkeitssätze Hoffmann, Dirk W.. - Berlin : Springer Spektrum, 2013
	216	Die Komplexität der Formelauswertung in intuitionistischen Logiken Weiß, Felix, 2013
	217	Diskrete algebraische Methoden Diekert, Volker. - Berlin : De Gruyter, 2013
	218	Diskrete Mathematik: geordnete Mengen Ganter, Bernhard. - Berlin : Springer Spektrum, 2013
	219	Eine mathematische Theorie des Sudokus Jehne, Wolfram. - Berlin : De Gruyter, 2013
	220	Elementare Kombinatorik für die Informatik Witt, Kurt-Ulrich. - Wiesbaden : Springer Vieweg, 2013