Computational Logic
J. Strother Moore, Robert S. Boyer
₹3,383
The Computational Logic Handbook
by J. Strother Moore, Robert S. Boyer
Academic Press Inc · 1997
₹4,620
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
The Computational Logic Handbook by J. Strother Moore & Robert S. Boyer is a 408-page book published by Academic Press Inc in 1997. It belongs to the Perspectives in computing series.
The book deals with Automatic theorem proving and Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9780121229528
- ISBN-10
- 0121229521
- Authors
- J. Strother Moore, Robert S. Boyer
- Publisher
- Academic Press Inc
- Published
- 1997
- Series
- Perspectives in computing
- Pages
- 408
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by J. Strother Moore and related titles
Conceptual and Methodological Approaches to Navigating Immigrant Ecologies
Barbara Thelamour Hui Chu
₹3,290
Uncertainty Analysis for Engineers and Scientists
Faith A. Morrison
₹1,935
Building Real-World Web Applications with Vue.js 3
Joran Quinten
₹2,281
Introduction to Reliability Analysis
Shelemyahu Zacks
₹6,978
Simplifying Android Development with Coroutines and Flows
Jomar Tigcal
₹1,863
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella
₹11,561
Numerical Methods for the Life Scientist
Heino Prinz
₹11,554
Repression in the Digital Age
Anita R. Gohdes
₹10,467
Advances in Integrations of Intelligent Methods
Ioannis Hatzilygeroudis, Isidoros Perikos, Foteini Grivokostopoulou
₹10,043
Fire Safety Challenges of Green Buildings
Juan Echeverria, Raymond Cheng, Brandon Poole, Brian Meacham
₹4,235
Macromolecular Crystallography
Paola Spadon
₹10,716