A many-sorted calculus based on resolution and paramodulation / Christoph Walther.
Saved in:
Main Author: | Walther, Christoph |
---|---|
Format: | Book |
Language: | English |
Published: |
London :
Pitman,
1987
|
Series: | Research notes in artificial intelligence,
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The resolution calculus / Alexander Leitsch.
by: Leitsch, Alexander
Published: (1997) -
Symposium on Automatic Demonstration held at Versilles/France, December 1968 / edited by M. Laudet ... [et al.].
Published: (1970) -
Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors.
Published: (1984) -
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot and Pierre Castèran.
by: Bertot, Yves
Published: (2004) -
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
Published: (1996)