Print this page
Using Sophisticated Models in Resolution Theorem Proving

Using Sophisticated Models in Resolution Theorem Proving

Paperback (08 Oct 2014)

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.

Other formats/editions

Check stock

Publisher's Synopsis

Using Sophisticated Models in Resolution Theorem Proving

Book information

ISBN: 9783662205525
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 258
Weight: 367g
Height: 234mm
Width: 156mm

We recommend

$2.09off

Can You Solve My Problems?

Alex Bellos

Paperback
Published 06 Jul 2017

Save $2.09

  • RRP $14.05
  • $11.96
Add to basket

$1.66off

At Sixes and Sevens

Rachel Riley (author...

Hardback
Published 28 Oct 2021

Save $1.66

  • RRP $19.16
  • $17.50
Add to basket

$0.40off

Logic

Graham Priest

Paperback
Published 26 Oct 2017

Save $0.40

  • RRP $11.49
  • $11.09
Add to basket

$7.21off

How to Expect the Unexpected

Kit Yates

Hardback
Published 06 Jul 2023

Save $7.21

  • RRP $31.96
  • $24.75
Add to basket

$1.65off

Is Maths Real?

Eugenia Cheng

Hardback
Published 01 Jun 2023

Save $1.65

  • RRP $21.72
  • $20.07
Add to basket
The Flawed Genius of William Playfair

David R. Bellhouse

Hardback
Published 23 Aug 2023

  • $62.29
Add to basket

$10.98off

Convergence of Blockchain, AI and IoT

Balamurugan Balusamy...

Hardback
Published 30 Jun 2023

Save $10.98

  • RRP $115.03
  • $104.05
Add to basket

$4.51off

Basic Gambling Mathematics

Mark Bollman

Paperback
Published 31 Aug 2023

Save $4.51

  • RRP $63.90
  • $59.39
Add to basket

$0.42off

Divided Spheres

Edward Popko, Chriso...

Paperback
Published 25 Sep 2023

Save $0.42

  • RRP $58.78
  • $58.36
Add to basket

$2.93off

Introduction to Blockchain Technology

Ahmed Banafa

Paperback
Published 28 Jul 2023

Save $2.93

  • RRP $40.89
  • $37.96
Add to basket