Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Adaptation of Declaratively Represented Methods in Proof Planning."
im Bestand: Gesamter Bestand

1 - 3 von 3

	1	Adaptation of Declaratively Represented Methods in Proof Planning Huang, Xiaorong. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	2	Adaptation of Declaratively Represented Methods in Proof Planning Huang, Xiaorong. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
	3	Adaptation of declaratively represented methods in proof planning Enthalten in Annals of mathematics and artificial intelligence Bd. 23, Nr. 3-4, date:11.1998: 299-320

1 - 3 von 3