Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Standorte:  Online (frei zugänglich)
Neuigkeiten Am Donnerstag, 21. März, schließt die Deutsche Nationalbibliothek in Leipzig wegen einer Veranstaltung um 15:30 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 20 Uhr geöffnet.
 
Neuigkeiten Geänderte Servicezeiten ab 1. März 2019 an der Information in Frankfurt am Main: Montag bis Freitag von 9–12 Uhr und 13–18 Uhr , Samstag von 10–16 Uhr // Changes to service hours as of 1 March 2019 at the Information desk in Frankfurt am Main: Monday to Friday: 9:00–12:00 and 13:00–18:00, Saturday: 10:00–16:00
 
 
 


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

1 - 10 von 105
<< < > >>


Online Ressourcen 1 A Coloured Version of the Lambda-Calculus
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 2 A Combinator-based order-sorted higher-order unification algorithm
Johann, Patricia. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 3 A Guide to UNICOM, an Inductive Theorem Prover Based on Rewriting and Completion Techniques
Gramlich, Bernhard. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 4 A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 5 A Mechanization of Strong Kleene Logic for Partial Functions
Kerber, Manfred. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 6 A Reduction Ordering for Higher-Order Terms
Avenhaus, Jürgen. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 7 A Unifying Logical Framework for Reason Maintenance
Fehrer, Detlef. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 8 About changing the ordering during Knuth-Bendix completion
Sattler-Klein, Andrea. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 9 Adaptation of Declaratively Represented Methods in Proof Planning
Huang, Xiaorong. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 10 An Abstraction for Proof Planning: The S-Abstraction
Autexier, Serge. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource


1 - 10 von 105
<< < > >>




Kataloge/Sammlungen

Alle Kataloge/Sammlungen

Standorte

Alle StandorteOnline (frei zugänglich) (105)

E-Mail-IconAdministration