Cover Image

First-order logic and automated theorem proving /

Show other versions (2)
Bibliographic Details
Main Author: Fitting, Melvin, 1942-
Format: Book
Language:English
Published: New York : Springer-Verlag, [1990]
Series:Texts and monographs in computer science.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
by Fitting, Melvin
Published 1996
Connect to the full text of this electronic book
eBook
Search Result 2
Cover Image
by Fitting, Melvin
Published 1990
Connect to the full text of this electronic book
eBook
Show all versions (3)