Travelled to:
1 × USA
Collaborated with:
L.Wos R.Veroff W.McCune
Talks about:
viewpoint (1) principl (1) infer (1) user (1) link (1)
Person: B. Smith
DBLP: Smith:B=
Contributed to:
Wrote 1 papers:
- CADE-1984-WosVSM
- The Linked Inference Principle, II: The User’s Viewpoint (LW, RV, BS, WM), pp. 316–332.