BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
F.Pfenning X.Huang M.Kerber M.Kohlhase E.Melis J.Richts J.H.Siekmann P.B.Andrews S.Issar
Talks about:
deduct (2) toolkit (1) theorem (1) symmetr (1) simplif (1) present (1) environ (1) develop (1) system (1) intuit (1)

Person: Dan Nesmith

DBLP DBLP: Nesmith:Dan

Contributed to:

CADE 19941994
CADE 19901990

Wrote 4 papers:

CADE-1994-HuangKKMNRS #development #named #proving
Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support
KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.
CADE-1990-AndrewsINP #proving #theorem proving
The TPS Theorem Proving System (PBA, SI, DN, FP), pp. 641–642.
CADE-1990-PfenningN #deduction #symmetry
Presenting Intuitive Deductions via Symmetric Simplification (FP, DN), pp. 336–350.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.