Author: Larry Wos
Publications
Publication period start: 1998
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Wos, Larry (1998): Programs That Offer Fast, Flawless, Logical Reasoning. In Communications of the ACM, 41 (6) pp. 87-95.
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.