Collaborated with:
J.K.Slaney
Talks about:
proposit
(1)
tutori
(1)
comput
(1)
model
(1)
logic
(1)
Person:
Paul Pritchard
DBLP: Pritchard:Paul
Contributed to:
1990
Wrote 1 papers:
CADE-1990-PritchardS
#logic
#modelling
#tutorial
Tutorial on Computing Models of Propositional Logics (
PP
,
JKS
), p. 685.
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
.