Skip to content
Mission Sigma
Full eBook in PDF, ePub, Mobi and Kindle
Home
Contact
Cookie Privacy Policy
DMCA
Privacy Policy
Terms of Use
Related Books
Language: en
Pages: 2128
Handbook of Automated Reasoning
Authors:
Alan J.A. Robinson
Categories:
Computers
Type:
BOOK -
Published:
2001-06-22 -
Publisher:
Elsevier
DOWNLOAD EBOOK
Handbook of Automated Reasoning
Language: en
Pages: 703
Handbook of Practical Logic and Automated Reasoning
Authors:
John Harrison
Categories:
Computers
Type:
BOOK -
Published:
2009-03-12 -
Publisher:
Cambridge University Press
DOWNLOAD EBOOK
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Language: en
Pages: 2150
Handbook of Automated Reasoning
Authors:
J. Alan Robinson
Categories:
Computers
Type:
BOOK -
Published:
2001 -
Publisher:
MIT Press
DOWNLOAD EBOOK
A comprehensive resource on automated reasoning and its applications.
Language: en
Pages: 1198
Handbook of Automated Reasoning
Authors:
Alan J.A. Robinson
Categories:
Computers
Type:
BOOK -
Published:
2001-06-21 -
Publisher:
Elsevier
DOWNLOAD EBOOK
Handbook of Automated Reasoning.
Language: en
Pages: 0
Handbook of Automated Reasoning
Authors:
Alan J.A. Robinson
Categories:
Computers
Type:
BOOK -
Published:
2001-06-21 -
Publisher:
North Holland
DOWNLOAD EBOOK