Automated Reasoning and Its Applications.

Veroff, Robert.

Add 
to Cart
Price: $15.00


TermsAsk a Question

Cambridge, MA: The M.I.T. Press, 1997. 8vo. 247 pp. Crisp and clean copy. Essays in honor of Larry Wos. "The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions." Fine in Fine dj Cloth 0262220555 (Item ID: 57565)



Topic Notification


Cellar Stories Facebook

Site by Bibliopolis