Lawrence J. Henschen

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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

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.