Automated Model Building (Applied Logic Series)
Edition: 1 edition
Publisher: Springer
Published: November 3, 2004
Language: eng
Format: Hardcover
Number of pages: 344
ISBN-13: 9781402026522
Subjects: Artificial intelligence; Mathematical logic; Design & Drafting; Philosophy; Architecture; Logic; Philosophy / Logic