Print this page
Handbook of Automated Reasoning

Handbook of Automated Reasoning - The MIT Press

Hardback (28 Apr 2015)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

Book information

ISBN: 9780262182225
Publisher: The MIT Press
Imprint: The MIT Press
Pub date:
Language: English
Number of pages: 1185
Weight: 2292g
Height: 246mm
Width: 171mm
Spine width: 57mm

We recommend

$2.65off

Can You Solve My Problems?

Alex Bellos

Paperback
Published 06 Jul 2017

Save $2.65

  • RRP $13.94
  • $11.29
Add to basket

$2.35off

At Sixes and Sevens

Rachel Riley (author...

Hardback
Published 28 Oct 2021

Save $2.35

  • RRP $19.02
  • $16.67
Add to basket

$0.73off

Logic

Graham Priest

Paperback
Published 26 Oct 2017

Save $0.73

  • RRP $11.40
  • $10.67
Add to basket

$23.78off

Learning Data Science

Sam Lau, Joseph Gonz...

Paperback
Published 29 Sep 2023

Save $23.78

  • RRP $91.33
  • $67.55
Add to basket

$8.60off

Deep Learning-Based Forward Modeling and Inversion Techniques for Computational Physics Problems

Yinpeng Wang, Qiang ...

Hardback
Published 06 Jul 2023

Save $8.60

  • RRP $98.94
  • $90.34
Add to basket

$11.82off

Sparse Graphical Modeling for High Dimensional Data

F. Liang, Bochao Jia

Hardback
Published 02 Aug 2023

Save $11.82

  • RRP $116.70
  • $104.88
Add to basket
The Sequential Quadratic Hamiltonian Method

Alfio Borzì

Hardback
Published 26 May 2023

  • $206.05
Add to basket

$1.60off

Unmatched

David Barkai

Paperback
Published 17 Aug 2023

Save $1.60

  • RRP $58.34
  • $56.74
Add to basket

$1.53off

Introduction to Python for Humanists

William J. B. Mattin...

Paperback
Published 26 Jul 2023

Save $1.53

  • RRP $58.34
  • $56.81
Add to basket

$4.44off

Applied Evolutionary Algorithms for Engineers Using Python

Leonardo Azevedo Sca...

Paperback
Published 26 Jun 2023

Save $4.44

  • RRP $69.76
  • $65.32
Add to basket