Interactive Theorem Proving

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Paperback (20 Jun 2013)

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

Publisher's Synopsis

Interactive Theorem Proving

Book information

ISBN: 9783642396359
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 512
Weight: 711g
Height: 234mm
Width: 156mm

We recommend

Can You Solve My Problems?

Alex Bellos

Paperback
Published 06 Jul 2017

  • $15.23
Add to basket

$1.75off

At Sixes and Sevens

Rachel Riley (author...

Hardback
Published 28 Oct 2021

Save $1.75

  • RRP $20.23
  • $18.48
Add to basket
Logic

Graham Priest

Paperback
Published 26 Oct 2017

  • $12.16
Add to basket

$8.42off

How to Expect the Unexpected

Kit Yates

Hardback
Published 06 Jul 2023

Save $8.42

  • RRP $33.74
  • $25.32
Add to basket

$3.05off

The Flawed Genius of William Playfair

David R. Bellhouse

Hardback
Published 23 Aug 2023

Save $3.05

  • RRP $58.04
  • $54.99
Add to basket

$11.60off

Convergence of Blockchain, AI and IoT

Balamurugan Balusamy...

Hardback
Published 30 Jun 2023

Save $11.60

  • RRP $121.47
  • $109.87
Add to basket

$4.76off

Basic Gambling Mathematics

Mark Bollman

Paperback
Published 31 Aug 2023

Save $4.76

  • RRP $67.47
  • $62.71
Add to basket

$0.45off

Divided Spheres

Edward Popko, Chriso...

Paperback
Published 25 Sep 2023

Save $0.45

  • RRP $62.08
  • $61.63
Add to basket

$3.09off

Introduction to Blockchain Technology

Ahmed Banafa

Paperback
Published 28 Jul 2023

Save $3.09

  • RRP $43.18
  • $40.09
Add to basket