Kaufmann, Matt.
VIAF ID: 166892767 ( Personal )
Permalink: http://viaf.org/viaf/166892767
Preferred Forms
- 100 1 _ ‡a Kaufmann, Matt
- 100 1 _ ‡a Kaufmann, Matt
-
- 100 1 _ ‡a Kaufmann, Matt
-
-
-
Works
Title | Sources |
---|---|
Computer-aided reasoning : ACL2 case studies | |
Computer-aided reasoning / ed. by Matt Kaufmann, Panagiotis Manolios, J Strother Moore. - Boston, cop. 2000. | |
Interactive Theorem Proving : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings | |
Salesforce.com for dummies |