Matt Kaufmann
E373588
UNEXPLORED
Matt Kaufmann is a computer scientist best known for his work on automated theorem proving and the ACL2 theorem prover, often in collaboration with J Strother Moore.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.