Inductive theorem proving for algebraic specifications : TIP system user's manual
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
II, 119 S.
- Language
-
Deutsch
- Event
-
Veröffentlichung
- (where)
-
Passau
- (who)
-
Fak. für Mathematik und Informatik, Univ.
- (when)
-
1994
- Creator
-
Fraus, Ulrich
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:20 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Fraus, Ulrich
- Fak. für Mathematik und Informatik, Univ.
Time of origin
- 1994
Other Objects (12)
Inductive theorem proving for design specifications
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Theorem Proving in Hierarchical Clausal Specifications
Mechanizing inductive theorem proving in conditional theories
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
Inductive theorem proving in theories specified by positive, negative-conditional equations
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Inductive theorem proving for design specifications
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Theorem Proving in Hierarchical Clausal Specifications
Mechanizing inductive theorem proving in conditional theories
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
Inductive theorem proving in theories specified by positive, negative-conditional equations
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Inductive theorem proving for design specifications
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
Theorem Proving in Hierarchical Clausal Specifications
Mechanizing inductive theorem proving in conditional theories
Superposition theorem proving for commutative algebraic theories
Superposition theorem proving for commutative algebraic theories
Inductive theorem proving in theories specified by positive, negative-conditional equations
PLATIN - A Planning System for Inductive Theorem Proving Implementation and Experiences
Automated theorem proving
Automated theorem proving
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving