Cover Image

Automated theorem proving : theory and practice /

Show other versions (1)

Bibliographic Details
Main Author:	Newborn, Monroe
Format:	Book
Language:	English
Published:	New York : Springer, [2001]
Subjects:	Automatic theorem proving.

Cover Image

Automated Theorem Proving : Theory and Practice /

by Newborn, Monroe
Published 2001

Connect to the full text of this electronic book

eBook