Cover Image

Handbook of Automated Reasoning /

Show other versions (2)

Handbook of Automated Reasoning

Bibliographic Details
Main Authors: Robinson, Alan (Author), Voronkov, Andrei (Author)
Corporate Author: Safari, an O'Reilly Media Company
Format: eBook
Language:English
Published: North Holland, 2001.
Edition:1st edition.
Subjects:
Electronic books.
Online Access:Connect to this electronic resource
Search Result 1
Cover Image
Published 2001
Connect to the full text of this electronic book
eBook
Search Result 2
Cover Image
Published 2001
Connect to the full text of this electronic book
eBook
Show all versions (3)