Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 
 


Ergebnis der Suche nach: "1026312019"
im Bestand: Gesamter Bestand

1 - 10 von 15
<< < > >>


Online Ressourcen 1 Attributed Logics for Reasoning over Knowledge Graphs
Marx, Maximilian. - Dresden : Technische Universität Dresden, 2025
Online Ressource
Online Ressourcen 2 Modern Datalog: Concepts, Methods, Applications (Invited Paper)
Krötzsch, Markus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 3 Verifying Datalog Reasoning with Lean
Tantow, Johannes. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
Online Ressource
Online Ressourcen 4 Tuple-Generating Dependencies Capture Complex Values
Marx, Maximilian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Online Ressource
Artikel 5 Reasoner = Logical Calculus + Rule Engine
Enthalten in Künstliche Intelligenz 30.7.2020: 1-11
Online Ressource
Online Ressourcen 6 The Power of the Terminating Chase (Invited Talk)
Krötzsch, Markus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Online Ressource
Online Ressourcen 7 Preserving Constraints with the Stable Chase
Carral, David. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Online Ressource
Online Ressourcen 8 The Semantic Web – ISWC 2016
Cham : Springer International Publishing, 2016, 1st edition 2016
Online Ressource
Online Ressourcen 9 The Semantic Web – ISWC 2016
Cham : Springer International Publishing, 2016, 1st edition 2016
Online Ressource
Online Ressourcen 10 KI 2015: Advances in Artificial Intelligence
Cham : Springer International Publishing, 2015
Online Ressource


1 - 10 von 15
<< < > >>


E-Mail-IconAdministration