Gordon J. van der Brug

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1975
Publication period end
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.