Author: Lawrence J. Henschen
Publication Overview
Publication period start: 1974
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Henschen,
Lawrence J.,
Overbeek,
Ross A.,
Wos,
Larry
(1974):
A Theorem-Proving Language for Experimentation.
In
Communications of the ACM,
17
(6)
pp. 308-314.
Yoon,
Suk-Chung,
Henschen,
Lawrence J.,
Park,
E. K.,
Makki,
S. A. M.
(1999):
Using Domain Knowledge in Knowledge Discovery.
In:
Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management
November 2-6,
1999,
Kansas City, Missouri, USA.
pp. 243-250.
https://doi.acm.org/10.1145/319950.320008