Koha online catalog › ISBD view

Normal view MARC view ISBD view

Newborn, Monty

Automated theorem proving : theory and practice - New York: Springer, 2001 - xiii, 231 p.; : 24 cm.

ISBN: 0387950753 hbk

Subjects--Topical Terms:
Automated theorem Proving
Artificial intelligence.
Logic, Symbolic and mathematical.

Dewey Class. No.: 004.015113 / NEW

Print
Save record
More searches