Research output per year
Research output per year
Search results
-
1994
Automated Deduction - CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
Bundy, A., 1994, Springer.Research output: Book/Report › Anthology
Open AccessFile -
1984
A Catalogue of Artificial Intelligence Techniques
Bundy, A. (ed.), 1984, Springer.Research output: Book/Report › Anthology
-
1983
Proceedings of the Eighth International Joint Conference on Artificial Intelligence
Bundy, A., 1983, William Kaufmann Inc.Research output: Book/Report › Anthology