Formal Methods in Artificial Intelligence

by

Write The First Customer Review
Formal Methods in Artificial Intelligence - Ramsay, Allan, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

Formal Methods in Artificial Intelligence 2009, Cambridge University Press, Cambridge

ISBN-13: 9780521424219

Revised edition

Trade paperback

Select
Formal Methods in Artificial Intelligence 1988, Cambridge University Press, Cambridge

ISBN-13: 9780521352369

Hardcover

Select