- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI Report ; 94,09
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Urheber
- URN
-
urn:nbn:de:hbz:386-kluedo-3398
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Denzinger, Jörg
- Kronenburg, Martin
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (12)
Extending automatic theorem proving by planning
Goal oriented equational theorem proving using team work
Automated theorem proving
Automated theorem proving
Modeling and verification of distributed algorithms in theorem proving environments
Distributing equational theorem proving
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
Extending automatic theorem proving by planning
Goal oriented equational theorem proving using team work
Automated theorem proving
Automated theorem proving
Modeling and verification of distributed algorithms in theorem proving environments
Distributing equational theorem proving
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
Extending automatic theorem proving by planning
Goal oriented equational theorem proving using team work
Automated theorem proving
Automated theorem proving
Modeling and verification of distributed algorithms in theorem proving environments
Distributing equational theorem proving
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
An Extensible Theorem Proving Frontend
Theorem proving in large theories
Requirement-based cooperative theorem proving
First order theorem proving modulo equations