First Order Logic Automated Theo

Name: First Order Logic Automated Theo
Price: 32.2 EUR
Availability: OutOfStock
ISBN: 978-0-387-97233-6

Springer (Publisher)

Published on 1. January 1990

Book

242 pages

978-0-387-97233-6 (ISBN)

€32.20incl. 7% vat

Article exhausted; check for reprint

More details