Automatic proofs for theorems on predicate calculus

An edition of Automatic proofs for theorems on predicate calculus (1972)

Automatic proofs for theorems on predicate calculus

By Sueli Mendes dos Santos

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1972

Publisher

Pontificia Universidade Católica do Rio de Janeiro]

Language

eng

Pages

22

Description:

subjects: Automatic theorem proving, Predicate calculus, SNOBOL (Computer program language)