Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Materialarten:	Online Ressourcen

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: tit all "Künstliche Intelligenz"
im Bestand: Gesamter Bestand

1 - 10 von 2546

	1	A Case Study in Distributed Planning for Autonomous Cooperating Agents Breuer, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	2	A Colored Version of the lambda-Calculus Hutter, Dieter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	3	A Combinator-based Order-sorted Higher-order Unification Algorithm Johann, Patricia. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	4	A Dialogue Manager for the DIALOG Demonstrator Buckley, Mark. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	5	A Mechanization of Strong Kleene Logic for Partial Functions Kerber, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	6	A Method to Prove the Positiveness of Polynomials Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	7	A Pigeon’s Tale Schneider, Julia. - Berlin : epubli, 2024, 2. Auflage
	8	A Pigeon`s Tale Schneider, Julia. - Berlin : epubli, 2024, 1. Auflage
	9	A Proof Representation Berkelhammer, Jessi. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	10	A Reduction Ordering for Higher-Order Terms Avenhaus, Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024

1 - 10 von 2546

Alle Materialarten > Online Ressourcen (2546)

Alle Kataloge/Sammlungen

Hochschulschriften (90)

Alle Standorte > Leipzig (2546)

Aktionen