Print this page
7th International Conference on Automated Deduction

7th International Conference on Automated Deduction Proceedings

Paperback (31 Dec 1984)

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

Book information

ISBN: 9783540960225
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Pub date:
Language: English
Weight: -1g

Blackwell's Bestsellers

$2.11off

Things No One Taught Us About Love

Vex King

Paperback
Published 25 Apr 2024

Save $2.11

  • RRP $14.19
  • $12.08
Add to basket
Half-Arse Human

Leena Norms

Hardback
Published 19 Dec 2024

  • $21.94
Add to basket
Into the Dark

Jessa Hastings

Paperback
Published 13 Feb 2024

  • $19.14
Add to basket
Magnolia Parks

Jessa Hastings

Hardback
Published 07 Nov 2024

  • $32.29
Add to basket
Magnolia Parks - Into the Dark

Jessa Hastings

Hardback
Published 07 Nov 2024

  • $32.29
Add to basket
Magnolia Parks - The Long Way Home

Jessa Hastings

Hardback
Published 07 Nov 2024

  • $32.29
Add to basket

$1.55off

Magnolia Parks

Jessa Hastings

Paperback
Published 01 Dec 2022

Save $1.55

  • RRP $19.36
  • $17.81
Add to basket

$1.55off

Daisy Haites

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $1.55

  • RRP $19.36
  • $17.81
Add to basket
80,000 Hours

Benjamin Todd (autho...

Paperback
Published 31 Jul 2023

  • $22.56
Add to basket

$0.50off

The Long Way Home

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $0.50

  • RRP $19.36
  • $18.86
Add to basket

$1.91off

Daisy Haites. The Great Undoing

Jessa Hastings

Paperback
Published 15 Dec 2022

Save $1.91

  • RRP $19.36
  • $17.45
Add to basket
A Curse for True Love

Stephanie Garber

Paperback
Published 20 Jun 2024

  • $12.90
Add to basket

$0.84off

Once Upon a Broken Heart

Stephanie Garber

Paperback
Published 30 Jun 2022

Save $0.84

  • RRP $12.90
  • $12.06
Add to basket

$0.64off

Kairos

Jenny Erpenbeck (aut...

Paperback
Published 11 Apr 2024

Save $0.64

  • RRP $12.90
  • $12.26
Add to basket
Belladonna

Adalyn Grace

Hardback
Published 20 Jun 2024

  • $25.83
Add to basket

$0.91off

The Ballad of Never After

Stephanie Garber

Paperback
Published 29 Jun 2023

Save $0.91

  • RRP $12.90
  • $11.99
Add to basket

$3.25off

The Women Who Wouldn’t Wheesht

Susan Dalgety (edito...

Hardback
Published 30 May 2024

Save $3.25

  • RRP $28.42
  • $25.17
Add to basket

$0.28off

Fourth Wing

Rebecca Yarros

Paperback
Published 26 Mar 2024

Save $0.28

  • RRP $12.90
  • $12.62
Add to basket
The Official Stardew Valley Cookbook

ConcernedApe, Ryan N...

Hardback
Published 01 May 2024

  • $29.71
Add to basket

$0.76off

Jujutsu Kaisen, Vol. 4

Gege Akutami

Paperback
Published 25 Jun 2020

Save $0.76

  • RRP $11.61
  • $10.85
Add to basket

$7.08off

Bonnard's Worlds

George T. M. Shackel...

Hardback
Published 05 Jan 2024

Save $7.08

  • RRP $58.12
  • $51.04
Add to basket

$2.75off

Madrigal's Magic Key to Spanish

Margarita Madrigal, ...

Paperback
Published 01 Sep 1989

Save $2.75

  • RRP $24.53
  • $21.78
Add to basket

$0.46off

Ballad of Sword and Wine: Qiang Jin Jiu (Novel) Vol. 1

Tang Jiu Qing (autho...

Paperback
Published 23 May 2024

Save $0.46

  • RRP $23.24
  • $22.78
Add to basket

$1.29off

The Serpent and the Wings of Night

Carissa Broadbent

Paperback
Published 30 May 2024

Save $1.29

  • RRP $12.90
  • $11.61
Add to basket