PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
SEKI Report ; 97,02
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1997
- Urheber
-
Eschbach, Robert
Sonntag, Inger
- URN
-
urn:nbn:de:hbz:386-kluedo-3734
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 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
- Eschbach, Robert
- Sonntag, Inger
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1997
Ähnliche Objekte (12)
Inductive theorem proving for design specifications
Mechanizing inductive theorem proving in conditional theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Inductive theorem proving in theories specified by positive, negative-conditional equations
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Distributing equational theorem proving
An Extensible Theorem Proving Frontend
Inductive theorem proving for design specifications
Mechanizing inductive theorem proving in conditional theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Inductive theorem proving in theories specified by positive, negative-conditional equations
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Distributing equational theorem proving
An Extensible Theorem Proving Frontend
Inductive theorem proving for design specifications
Mechanizing inductive theorem proving in conditional theories
Inductive theorem proving for algebraic specifications : TIP system user's manual
Inductive theorem proving in theories specified by positive, negative-conditional equations
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Positive negative conditional equations : a constructor-based framework for specification and inductive theorem proving
Distributing equational theorem proving