Cover Image

A computational logic handbook /

Show other versions (1)
Bibliographic Details
Main Author: Boyer, Robert S.
Other Authors: Moore, J Strother, 1947-
Format: Book
Language:English
Published: Boston : Academic Press, [1988]
Series:Perspectives in computing (Boston, Mass.) ; v. 23.
Subjects:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Search Result 1
Cover Image
by Boyer, Robert S.
Published 1988
Connect to the full text of this electronic book
eBook
Show all versions (2)