Katalog der Deutschen Nationalbibliothek

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

211 - 220 von 965

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