Author: Lawrence J. Henschen
Publications
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
- Larry Wos
- Suk-Chung Yoon
- E. K. Park
- 2
- 5
- 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. https://doi.acm.org/10.1145/319950.320008