Author: Gordon J. van der Brug
Publications
Publication period start: 1975
Number of co-authors: 1
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Brug, Gordon J. van der, Minker, Jack (1975): State-Space, Problem-Reduction, and Theorem Proving-Some Relationships. In Communications of the ACM, 18 (2) pp. 107-115.