Gesture-Based Human-Computer Interaction and Simulation
Hutchison, David - undifferentiated
₹3,087
Higher Order Logic Theorem Proving and Its Applications
6th International Workshop
by Jeffrey J. Joyce, Carl-Johan H. Seger
Springer · 1994 · Paperback
₹5,642
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
Published by Springer in 1994, Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop by Jeffrey J. Joyce & Carl-Johan H. Seger runs to 517 pages in paperback. It belongs to the Lecture notes in computer science series.
Its main subjects are Congresses and Automatic theorem proving.
Book details
- ISBN-13
- 9783540578260
- ISBN-10
- 3540578269
- Authors
- Jeffrey J. Joyce, Carl-Johan H. Seger
- Publisher
- Springer
- Published
- 1994
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 517
- Language
- English
- Condition
- New
Related books
Dynamic Shipping and Port Development in the Globalized Economy
Kevin Cullinane Paul Yae-Woo Lee
₹4,103
Rewas 2016
Bart Blanpain Randolph Kirchain, Elsa Olivetti Christina Meskers, John Howarter Diran Apelian
₹4,008
Amtliche Mitteilungen Aus Der Abteilung Für Forsten Des Königlich Preußischen Ministeriums Für Landw
Julius Springer Berlin
₹5,811
Advanced Hybrid Information Processing
Xuefei Ma Shuai Liu
₹3,296
Sand Mining in African Coastal Regions
₹3,245
Economics as Applied Ethics
Wilfred Beckerman
₹4,013
Precarity within the Digital Age
David Kergel Birte Heidkamp
₹4,560
Methods in Urban Analysis
Scott Baum
₹4,393
Intégration
N. Bourbaki
₹3,009
Cloud Computing
Zaigham Mahmood
₹3,138
Abstract Non Linear Wave Equations
Michael Reed
₹2,678