Oracle Application Express Administration
Luc Demanche, Francis Mignault
₹4,694
Px
A Computational Logic
by Hiroshi Nakano, Susumu Hayashi
Mit Pr · 1989
₹4,124
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
Px: A Computational Logic is written by Hiroshi Nakano & Susumu Hayashi. This edition from Mit Pr (1989) has 216 pages. The book is part of the Foundations of computing series.
The book deals with Symbolic and mathematical Logic, Automatic theorem proving, Démonstration automatique and Logique symbolique et mathématique.
About the author: Susumu Hayashi (born 1953).
Book details
- ISBN-13
- 9780262081740
- ISBN-10
- 0262081741
- Authors
- Hiroshi Nakano, Susumu Hayashi
- Publisher
- Mit Pr
- Author dates
- Susumu Hayashi (born 1953)
- Published
- 1989
- Series
- Foundations of computing
- Pages
- 216
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Podcasting with Youth
Lucas Maxwell
₹3,637
Addressing Global Challenges and Quality Education
Carlos Alario-Hoyos, María Jesús Rodríguez-Triana, Maren Scheffel, Inmaculada Arnedillo-Sánchez, Sebastian Maximilian Dennerlein
₹6,213
Provability, Computability and Reflection
Lev D. Beklemishev
₹3,786
Technology, Activism, and Social Justice in A Digital Age P
McNutt
₹5,377
A Cultural History of Tragedy in the Modern Age
Fiona Paisley, Pamela Scully
₹4,931
Atmospheric and Space Sciences
Erdal Yigit
₹4,280
Edge Computing and Capability-Oriented Architecture
Haishi Bai, Boris Scholl
₹6,657
Business Process Management Bpm 100 Success Secrets
Gerard Blokdijk
₹2,697
Dynamic Modeling of Diseases and Pests (Pb 2008)
Bruce Hannon
₹2,040
Building Low-Code Applications with Mendix
Micah McMullen, Imran Kasam, Bryan Kenneweg
₹2,220
Digital Rhetoric
Douglas Eyman
₹2,996