Katalog der Deutschen Nationalbibliothek

 
 


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