Travelled to:
1 × USA
Collaborated with:
J.Pearl
Talks about:
theori
(1)
causat
(1)
infer
(1)
Person:
Thomas Verma
DBLP: Verma:Thomas
Contributed to:
1991
Wrote 1 papers:
KR-1991-PearlV
#formal method
A Theory of Inferred Causation (
JP
,
TV
), pp. 441–452.
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
.