Delivery included to the United States

Automated Mathematical Induction

Automated Mathematical Induction

Reprinted from JOURNAL OF AUTOMATED REASONING 16:1-2, 1996, 1996

Hardback (31 May 1996)

Save $13.80

  • RRP $123.03
  • $109.23
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9780792340102
Publisher: Springer Netherlands
Imprint: Springer
Pub date:
Edition: Reprinted from JOURNAL OF AUTOMATED REASONING 16:1-2, 1996, 1996
DEWEY: 511.22
DEWEY edition: 20
Language: English
Number of pages: 222
Weight: 1130g
Height: 235mm
Width: 155mm
Spine width: 14mm