Katalog der Deutschen Nationalbibliothek

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

981 - 990 von 1748

	981	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	982	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	983	Axiomatic fuzzy set theory and its applications Liu, Xiaodong. - Berlin : Springer, 2009
	984	Axiomatic fuzzy set theory and its applications Liu, Xiaodong. - Berlin : Springer, 2009
	985	Bicycles and left-right tours in locally finite graphs Win Myint, Melanie, 2009
	986	Cardinals as ultrapowers Bold, Stefan, 2009
	987	Cardinals as ultrapowers Bold, Stefan, 2009
	988	Characterizations of Planar Lattices Zschalig, Christian. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2009
	989	Characterizations of planar lattices by left-relations Zschalig, Christian, 2009
	990	Classic papers in combinatorics Boston, Mass. : Birkhäuser, 2009, Reprint of the 1987 ed.