Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Deduction Systems

Deduction Systems

by Patricia Johann, Rolf Socher-Ambrosius

Springer-Verlag New York Inc · 2011

₹4,257

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

Deduction Systems is written by Patricia Johann & Rolf Socher-Ambrosius. This edition from Springer-Verlag New York Inc (2011) has 218 pages. It belongs to the Graduate Texts in Computer Science series.

The book deals with Information theory, Computer science and Automatic theorem proving.

Book details

ISBN-13
9781461274797
ISBN-10
1461274796
Authors
Patricia Johann, Rolf Socher-Ambrosius
Published
2011
Series
Graduate Texts in Computer Science
Edition
Reprint
Pages
218
Language
English
Condition
New

More in Information theory

See all