Joshua D. Guttman
- IMPS: An interactive mathematical proof system
1993/01/01 by William M. Farmer, Joshua D. Guttman, F. Javier Thayer · 4 citations
Computer Science · Mathematics · #Artificial intelligence #Automated theorem proving #Axiom #Computer science #Formal Methods in Verification #Inference #Linear logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical logic #Mathematical proof #Mathematics #Programming language #Proof assistant #Proof calculus #Proof theory #Theoretical computer science