Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Applications of Automated Reasoning"
im Bestand: Gesamter Bestand

1 - 3 von 3

	1	Foundations and Applications of Security Analysis Cham : Springer International Publishing, 2009
	2	Applications of automated reasoning Furbach, Ulrich. - Koblenz : Inst. für Informatik, 2007
	3	Applications of Automated Reasoning In: Arbeitsberichte aus dem Fachbereich Informatik 2007,9