Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 
 


Ergebnis der Suche nach: "SEKI" and "Report"
im Bestand: Gesamter Bestand

1 - 10 von 282
<< < > >>


Online Ressourcen 1 A Human Oriented Proof Presentation Method
Xiaorong, Huang. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 2 A representation for the non-instances of linear terms
Gerlach, Horst. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 3 A Resolution Calculus for Modal Logics
Ohlbach, Hans Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 4 AKILES
Ossa, Alvaro de la. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 5 An Approach to Assertion Application via Generalised Resolution
Vo, Quoc Bao. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 6 Attributive Concept Descriptions with Unions and Complements
Schmidt-Schauß, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 7 Basic Narrowing Revisited
Nutt, Werner. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 8 Comparing on Strings
Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 9 Comparison of Simplification Orderings
Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 10 Compartmentalized Connection Graphs for Concurrent Logic Programming I
Powers, David M. W.. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource


1 - 10 von 282
<< < > >>


E-Mail-IconAdministration