Handbook of Automated Reasoning

Handbook of Automated Reasoning - Handbook of Automated Reasoning

Hardback (01 Jul 2001)

  • $250.93
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Other formats/editions

Check stock

Publisher's Synopsis

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Book information

ISBN: 9780444508126
Publisher: Elsevier Science
Imprint: North Holland
Pub date:
DEWEY: 006.333
DEWEY edition: 21
Language: English
Number of pages: 1188
Weight: 2430g
Height: 240mm
Width: 165mm
Spine width: 60mm

We recommend

$8.58off

Machine Learning

Kevin P. Murphy

Hardback
Published 18 Sep 2012

Save $8.58

  • RRP $120.85
  • $112.27
Add to basket

$18.14off

AI and Machine Learning for Coders

Laurence Moroney

Paperback
Published 16 Oct 2020

Save $18.14

  • RRP $71.15
  • $53.01
Add to basket

$25.52off

Learning Data Science

Sam Lau, Joseph Gonz...

Paperback
Published 29 Sep 2023

Save $25.52

  • RRP $96.67
  • $71.15
Add to basket
Deep Learning-Based Forward Modeling and Inversion Techniques for Computational Physics Problems

Yinpeng Wang, Qiang ...

Hardback
Published 06 Jul 2023

  • $111.53
Add to basket
Sparse Graphical Modeling for High Dimensional Data

F. Liang, Bochao Jia

Hardback
Published 02 Aug 2023

  • $126.88
Add to basket
The Sequential Quadratic Hamiltonian Method

Alfio Borzì

Hardback
Published 26 May 2023

  • $218.10
Add to basket

$1.90off

Unmatched

David Barkai

Paperback
Published 17 Aug 2023

Save $1.90

  • RRP $61.76
  • $59.86
Add to basket

$1.82off

Introduction to Python for Humanists

William J. B. Mattin...

Paperback
Published 26 Jul 2023

Save $1.82

  • RRP $61.76
  • $59.94
Add to basket

$4.69off

Applied Evolutionary Algorithms for Engineers Using Python

Leonardo Azevedo Sca...

Paperback
Published 26 Jun 2023

Save $4.69

  • RRP $73.84
  • $69.15
Add to basket

$5.30off

Algorithmic Culture Before the Internet

Theodore G. Striphas

Paperback
Published 06 Jun 2023

Save $5.30

  • RRP $33.57
  • $28.27
Add to basket