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
?
Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
Ergebnis der Suche nach:
dce=006.3
im Bestand: Gesamter Bestand
1351 - 1354 von 1354
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
1351
Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III
Enthalten in Künstliche Intelligenz Bd. 34, 18.10.2019, Nr. 1, date:3.2020: 105-108
1352
Innovations in intelligent machines
Berlin : Springer
1353
Intelligent robotics and applications
Berlin : Springer
1354
Software engineering for multi-agent systems
Berlin : Springer
1351 - 1354 von 1354
Alle Materialarten
Filme/Hörbücher (3)
Zeitschriften/Serien (4)
Bücher (723)
Online Ressourcen (623)
Elektronische Datenträger (3)
Ausgaben/Hefte (4)
Artikel (4)
Alle Kataloge/Sammlungen
Buchmuseum Fachbibliothek (1)
Hochschulschriften (300)
Alle Standorte
>
Leipzig (1354)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration