Logic, Language, and Computation
Hutchison, David - undifferentiated
₹3,928
Types for Proofs and Programs
International Conference
by Hutchison, David - undifferentiated
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
₹4,281
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-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Types for Proofs and Programs: International Conference by David - undifferentiated Hutchison runs to 323 pages.
The book deals with Logic design, Artificial intelligence, Computer science and Data processing.
Book details
- ISBN-13
- 9783642024436
- ISBN-10
- 3642024432
- Authors
- Hutchison, David - undifferentiated
- Published
- 2009
- Edition
- 2009 ed.
- Pages
- 323
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Hutchison and related titles
Verbal and Nonverbal Features of Human-human and Human-machine Interaction
Hutchison, David - undifferentiated
₹4,257
Computer Performance Engineering
Hutchison, David - undifferentiated
₹3,921
Information Security and Cryptoloy - ICISC 2008
Hutchison, David - undifferentiated
₹4,283
Web Information Systems Engineering - Wise 2008
Hutchison, David - undifferentiated
₹5,257
Information Visualization
Hutchison, David - undifferentiated
₹3,947
Languages and Compilers for Parallel Computing
Hutchison, David - undifferentiated
₹4,241
Advances in Data Mining. Applications and Theoretical Aspects
Hutchison, David - undifferentiated
₹4,258
Information Security and Privacy
Hutchison, David - undifferentiated
₹4,242
Engineering Societies in the Agents World IX
Hutchison, David - undifferentiated
₹4,263
Analytical and Stochastic Modeling Techniques and Applications
Hutchison, David - undifferentiated
₹4,271
Advances in Spatial and Temporal Databases
Hutchison, David - undifferentiated
₹4,248