Travelled to:1 × USA
Collaborated with:∅
Talks about:shunyata (1) mathemat (1) automat (1) analysi (1) system (1) proof (1) logic (1)
Person: Kurt Ammon
DBLP: Ammon:Kurt
Contributed to:
1992Wrote 2 papers:
- CADE-1992-Ammon #analysis #automation #logic #proving
- Automatic Proofs in Mathematical Logic and Analysis (KA), pp. 4–19.
- CADE-1992-Ammon92a
- The SHUNYATA System (KA), pp. 681–685.