Design, implementation and results of an interactive proof system for higher order logic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
21, [22] S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Interner Bericht ; Nr. 79,19
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Univ., Fak. für Informatik
- (when)
-
1979
- Creator
-
Jansohn, Hans-Stephan
Landwehr, Rudolf
Wrightson, Graham
- 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, 11:44 AM 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
- Jansohn, Hans-Stephan
- Landwehr, Rudolf
- Wrightson, Graham
- Universität Karlsruhe (TH). Fakultät für Informatik
- Univ., Fak. für Informatik
Time of origin
- 1979
Other Objects (12)
Isabelle, HOL : a proof assistant for higher order logic
Interactive relational database design : a logic programming implementation
Lecture notes interactive proof systems
On helping and interactive proof systems
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Improving proof search in intuitionistic propositional logic
Interactive program and proof development with NurPRL
Renegotiation-Proof Implementation and Time Preferences
Higher-order constraint logic programming
Isabelle, HOL : a proof assistant for higher order logic
Interactive relational database design : a logic programming implementation
Lecture notes interactive proof systems
On helping and interactive proof systems
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Improving proof search in intuitionistic propositional logic
Interactive program and proof development with NurPRL
Renegotiation-Proof Implementation and Time Preferences
Higher-order constraint logic programming
Isabelle, HOL : a proof assistant for higher order logic
Interactive relational database design : a logic programming implementation
Lecture notes interactive proof systems
On helping and interactive proof systems
Computational logic and proof theory : proceedings
Computational logic and proof theory : proceedings
Logic and proof method of recursion
Extensional paramodulation for higher-order logic and its effective implementation Leo-III
Improving proof search in intuitionistic propositional logic
Interactive program and proof development with NurPRL
Renegotiation-Proof Implementation and Time Preferences