Automatic proofs for theorems on predicate calculus

View on Open Library

Automatic proofs for theorems on predicate calculus

by Sueli Mendes dos Santos

No reviews yet

First published: 1972 1 language

Subjects

Automatic theorem proving Predicate calculus SNOBOL (Computer program language)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!