Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
spatial
(1)
theori
(1)
reason
(1)
formal
(1)
Person:
Stephen G. Kaufman
DBLP: Kaufman:Stephen_G=
Contributed to:
1991
Wrote 1 papers:
KR-1991-Kaufman
#formal method
#reasoning
A Formal Theory of Spatial Reasoning (
SGK
), pp. 347–356.
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
.