Travelled to:
1 × France
Collaborated with:
∅
Talks about:
proof
(1)
what
(1)
Person:
Richard Platek
DBLP: Platek:Richard
Contributed to:
1994
Wrote 1 papers:
CADE-1994-Platek
#proving
#question
#what
What is a Proof? (
RP
), p. 431.
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
.