Matt Kaufmann
3 published titles
Computer-aided reasoning : an approach
1 edition
- ISBN: 0792377443
- Kluwer Academic
- 2000
- Details
Computer-aided reasoning : ACL2 case studies
(Contributor)
1 edition
- ISBN: 0792378490
- Kluwer Academic
- 2000
- Details
Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
(Contributor)
1 edition
- ISBN: 9783642140518
- Springer
- 2010
- Details
