Automated Development of Fundamental Mathematical Theories 2 Automated Reasoning Series

Name: Automated Development of Fundamental Mathematical Theories 2 Automated Reasoning Series
Brand: Springer
SKU: 9780792320210
Price: 170.99 GBP
Availability: InStock

Product form

£170.99

Includes FREE delivery

RRP £179.99 – you save £9.00 (5%)

Order before 4pm today for delivery by Fri 26 Jun 2026.

A Hardback by Art Quaife

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Automated Development of Fundamental Mathematical Theories 2 Automated Reasoning Series by Art Quaife

Publisher: Springer
Publication Date: 30/11/1992
ISBN13: 9780792320210, 978-0792320210
ISBN10:

Also in:
Computing Artificial intelligence (AI) Maths for computer scientists Mathematics Mathematical foundations