Author: Lawrence J. Henschen

Lawrence J. Henschen

Lawrence J. Henschen

Publications

Publication period start: 1974
Publication period end: 1999
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
S. A. M. Makki
1
Ross A. Overbeek
1
Larry Wos
1

Productive Colleagues

Most productive colleagues in number of publications
Larry Wos
2
Suk-Chung Yoon
5
E. K. Park
12

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. http://doi.acm.org/10.1145/319950.320008