A human oriented logic for automatic theorem proving
Main Author: | Nevins, Arthur J |
---|---|
Format: | Book |
Language: | English |
Published: |
[Cambridge]
M.I.T. A.I. Laboratory,
1972
|
Series: | AI memo ;
268 |
Subjects: |
Similar Items
-
A relaxation approach to splitting in an automatic theorem prover
by: Nevins, Arthur J
Published: (1974) -
A proposal for a geometry theorem proving program /
by: Hart, Tim
Published: (1963) -
Plane geometry theorem proving using forward chaining
by: Nevins, Arthur J
Published: (1974) -
Computer proofs of limit theorems /
Published: (1971) -
Un programme de démonstration de théorèmes
by: Pitrat, J (Jacques), et al.
Published: (1970)