Automated Reasoning with Analytic Tableaux and Related Methods
Didier Galmiche
₹5,569
Automated Reasoning
9th International Joint Conference
by Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Springer International Publishing AG · 2018 · Paperback
₹4,330
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 International Publishing AG in 2018, Automated Reasoning: 9th International Joint Conference by Didier Galmiche, Stephan Schulz & others runs to 724 pages in paperback.
Its main subjects are Automatic theorem proving.
Subjects
Book details
- ISBN-13
- 9783319942049
- ISBN-10
- 3319942042
- Authors
- Didier Galmiche, Stephan Schulz, Roberto Sebastiani
- Publisher
- Springer International Publishing AG
- Published
- 2018
- Edition
- 1st ed. 2018
- Binding
- Paperback
- Pages
- 724
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Didier Galmiche and related titles
Image Segmentation
Tao Lei, Asoke K. Nandi
₹7,639
Illustrated C# 2012
Daniel Solis
₹3,933
Jump Start Sass
Hugo Giraudel, Miriam Suzanne
₹3,320
The Language of Deception
Justin Hutchens
₹2,104
Telecommunication for Health Care 1982
J. H. U. Brown
₹3,625
PIC Microcontrollers
Martin P. Bates
₹2,984
Mitochondrial Disease Genes Compendium
Marni J. Falk
₹9,588
Lectures on General Quantum Correlations and their Applications
₹4,880
Software Engineering with Modula-2
Ray J. Frank, Jill A. Hewitt
₹3,661
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
Todor Ganchev
₹4,894
IOS Drawing
Erica Sadun
₹2,727