Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Kataloge/Sammlungen:  Hochschulschriften
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 - 5 von 5
<< < > >>


Online Ressourcen 1 A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Bücher 2 Equality and extensionality in automated higher order theorem proving
Benzmüller, Christoph. - Saarbrücken : Univ., Fachbereich Informatik, 1999
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 3 Human Oriented Proof Presentation: A Reconstructive Approach
Huang, Xiaorong. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 4 Integration of Rewriting, Narrowing, Compilation, and Heuristics for Equality Reasoning in Resolution-Based Theorem Proving
Präcklein, Axel. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource
Online Ressourcen 5 On the Representation of Mathematical Concepts and their Translation into First-Order Logic
Kerber, Manfred. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
Online Ressource


1 - 5 von 5
<< < > >>


E-Mail-IconAdministration