Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Automated Reasoning

Automated Reasoning

by Didier Galmiche, Stephan Schulz, Roberto Sebastiani

Springer' of ASIN '3319942050' · 2017

₹4,457

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

Automated Reasoning is written by Didier Galmiche, Stephan Schulz, Roberto Sebastiani. This edition from Springer' of ASIN '3319942050' (2017) has 240 pages.

Book details

ISBN-13
9783319942056
ISBN-10
3319942050
Authors
Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Published
2017
Edition
First Edition
Pages
240
Language
English
Condition
New
Subject
Reference

More in Reference

See all