- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI Report ; 93,02
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1993
- Urheber
-
Sonntag, Inger
Denzinger, Jörg
- URN
-
urn:nbn:de:hbz:386-kluedo-3149
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 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
- Sonntag, Inger
- Denzinger, Jörg
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1993
Ähnliche Objekte (12)
Automated theorem proving
Automated theorem proving
Planning for distributed theorem proving: The team work approach
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
Extending the automatic theorem prover nanoCoP with arithmetic procedures
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
Theorem proving with the real numbers
Automated theorem proving
Automated theorem proving
Planning for distributed theorem proving: The team work approach
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
Extending the automatic theorem prover nanoCoP with arithmetic procedures
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas
Theorem proving with the real numbers
Automated theorem proving
Automated theorem proving
Planning for distributed theorem proving: The team work approach
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
Extending the automatic theorem prover nanoCoP with arithmetic procedures
First order theorem proving modulo equations
Interactive theorem proving with indexed formulas