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
Description
Summary:Handbook of Automated Reasoning
Item Description:Electronic resource.
Physical Description:1 online resource (2128 pages)
Format:Mode of access: World Wide Web.