Matt Kaufmann

Identifiers

Open LibraryOL2785014A

Top Subjects

Computer science (3)
Software engineering (3)
Electronic data processing (2)
Artificial intelligence (1)
Logic design (1)
Monoclonal antibodies (1)

Books by Matt Kaufmann

Total count: 4

Computer-Aided Reasoning

Island Press2000-01-01
Computer-Aided ReasoningACL2 Case Studies

Springer US2000-01-01
Computer-Aided ReasoningAn Approach

Springer US2000-01-01
Interactive Theorem ProvingFirst International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg2010-01-01