Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 29. Mai, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Mitarbeiterversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 

Helfen Sie uns, noch besser zu werden!
Wir entwickeln unseren Katalog weiter. Dabei sind wir auf Ihre Unterstützung angewiesen. Ihre Rückmeldung hilft uns, Ihre Wünsche bei der Weiterentwicklung unserer Dienste einzubeziehen. Teilen Sie uns mit, was Ihnen an unserem Angebot gefällt, was wir besser machen können und was Sie vermissen.
Senden Sie uns Ihre Anregungen und Kritik über das Kontaktformular.

 
 


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