Search
Automated theorem proving
:theory and practice
Newborn M., Springer-Verlag New York, Inc.,New York, NY,2001. 231 pp.Type:Book, Reviews: (2 of 2)
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: Automated theorem proving
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy