Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
eingeschränkt auf
- Standorte:
Leipzig
- Bestandssichten:
Gesamter Bestand
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 3639
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
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 3639
Alle Materialarten
Filme/Hörbücher (27)
Zeitschriften/Serien (40)
Bücher (1061)
Online Ressourcen (2546)
archivierte Webseiten (13)
Elektronische Datenträger (1)
Ausgaben/Hefte (122)
Artikel (735)
Mikroformen (2)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (172)
Hochschulschriften (183)
Alle Standorte
>
Leipzig (3639)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration