Search results for: R Overbeek
Lecture Notes in Computer Science > 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 > 208-219
Journal of Industrial Microbiology & Biotechnology > 1997 > 18 > 1 > 68-72
Lecture Notes in Computer Science > 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 > 208-219
Journal of Industrial Microbiology & Biotechnology > 1997 > 18 > 1 > 68-72