Cytopreparation
Gary Gill
₹11,881
Higher Order Logic Theorem Proving and Its Applications
8th International Workshop
by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Springer · 1995 · Paperback
₹5,581
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹5,081 — save ₹500 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Published by Springer in 1995, Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop by E. Thomas Schubert, Phillip J.The book is part of the Lecture notes in computer science series.
Its main subjects are Congresses, Symbolic and mathematical Logic and Automatic theorem proving.
About the author: Gerhard Goos (1937–2020).
Book details
- ISBN-13
- 9783540602750
- ISBN-10
- 3540602755
- Authors
- E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
- Publisher
- Springer
- Author dates
- Gerhard Goos (1937–2020)
- Published
- 1995
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Language
- English
- Condition
- New
Related books
Enhancing the City
Giovanni Maciocco
₹11,544
Mathematische Theorie Des Lichtes
Henri Poincaré, J. Blondin, E. Gumlich
₹4,954
Fluorescence in Situ Hybridization (fish)
Bridger J.m
₹11,587
Ventricular Assist Devices and Kidney Disease Clinical Perspectives
Desai C.
₹6,735
Symposium on the Physiopathology of the States of Consciousness
Carlo-Erba-Foundation Milano
₹8,516
Quantitative Methods for Current Environmental Issues
Jean-Paul Boehler Akhtar S. Khan
₹3,916
Employability Revisited
Anne Rosken
₹4,436
Facial-Oral Tract Therapy (F.O.T.T.)
Ricki Nusser-Müller-Busch, Karin Gampp Lehmann
₹7,580
Transactions on Large-Scale Data- And Knowledge-Centered Systems IV
Abdelkader Hameurlain, Josef Küng, Roland Wagner
₹5,492
A Philosophy of Human Hope
J. J. Godfrey
₹4,966
Probleme Der Auftrags-Rinderhaltung Durch Fulbe-Hirten (Peul) in Westafrika
Julius Otto Müller
₹3,508
