Proof-Checking Metamathematics

Feb-1-1986–Classics

Ph.D. thesis, Computer Science Department, University of Texas at Austin.

artificial intelligence, logic & formal reasoning, theorem, (13 more...)

Feb-1-1986

Classics Web Page

Country:
- North America > United States > Texas > Travis County > Austin (0.24)

Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.37)