The Computational Logic Handbook
J. Strother Moore, Robert S. Boyer
₹4,620
Computational Logic
by J. Strother Moore, Robert S. Boyer
Academic Press Inc · 1979
₹3,383
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Computational Logic is written by J. Strother Moore & Robert S. Boyer. This edition from Academic Press Inc (1979) has 411 pages. The book is part of the ACM monograph series series.
Topics covered include Automatic theorem proving.
Subjects
Book details
- ISBN-13
- 9780121229504
- ISBN-10
- 0121229505
- Authors
- J. Strother Moore, Robert S. Boyer
- Publisher
- Academic Press Inc
- Published
- 1979
- Series
- ACM monograph series
- Pages
- 411
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by J. Strother Moore and related titles
New Perspectives in Partial Least Squares and Related Methods
Herve Abdi, Wynne W. Chin, Vincenzo Esposito Vinzi, Giorgio Russolillo, Laura Trinchera
₹11,588
Law and the Stranger
Austin Sarat, Lawrence Douglas, Martha Merrill Umphrey
₹8,490
Navigating the Metaverse
Cathy Hackl, Dirk Lueth, Tommaso Di Bartolo
₹1,714
A Problem Based Journey from Elementary Number Theory to an Introduction to Matrix Theory
Abraham Berman
₹3,890
Morality and the Nature of Law
Kenneth Einar Himma
₹11,011
A History of the Early Church to AD 500
John William Charles Wand
₹4,353
Challenging the Paradoxes of Integration Policies
Fabiola Pardo
₹3,482
Gout
David S. Newcombe
₹17,690
SQE Property Practice 5e
Anne Rodell
₹5,094
Advances in Computing and Intelligent Systems
₹4,986
Pseudo-Populations
Andreas Quatember
₹3,919