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

A Hardback by Art Quaife

£170.99

Includes FREE delivery

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

Order before 4pm today for delivery by Wed 9 Sep 2026.

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

Book details

Publisher Springer

Published 30 November 1992

ISBN-13 9780792320210
978-0792320210

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