Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, dem 21. November (Buß- und Bettag) bleibt die Deutsche Nationalbibliothek in Leipzig geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen. // The German National Library in Leipzig will be closed on Wednesday 21 November 2018. The Exhibitions of the German Museum of Books and Writing will be closed as well.
 
 
 


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

1 - 10 von 64
<< < > >>


Online Ressourcen 1 Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96
Workshop on Knowledge Representation and Configuration (1996 : Dresden). - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2014
Online Ressource
Online Ressourcen 2 Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects
Workshop KRDB (1994 : Saarbrücken). - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013
Online Ressource
Online Ressourcen 3 Adding homomorphisms to commutative, monoidal theories or
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 4 Combination techniques and decision problems for disunification
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 5 Extensions of concept languages for a mechanical engineering application
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 6 How to prefer more specific defaults in terminological default logic
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 7 On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 8 Qualifying number restrictions in concept languages
Hollunder, Bernhard. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 9 Terminological cycles in KL-ONE-based knowledge representation languages
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource
Online Ressourcen 10 Terminological knowledge representation
Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2011
Online Ressource


1 - 10 von 64
<< < > >>


E-Mail-IconAdministration