Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-15 of 15 results for author "Bundy, Alan."
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1757 Offsite Rob Milne : a tribute to a pioneering AI scientist, entrepreneur, and mountaineer / edited by Alan Bundy ; assistant editor, Sean Wilson.
- Text
- Amsterdam ; Washington, DC : IOS Press, c2006.
- 2006
- 2 Items
Item details Format Call Number Item Location Text Check with Staff Not available - Please for assistance.Item details Format Call Number Item Location Text JSE 07-344 Offsite Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June/July 1994 : proceedings / Alan Bundy, ed.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D337 I58 1994 Off-site Artificial intelligence techniques : a comprehensive catalogue / Alan Bundy, ed.
- Text
- Berlin ; New York : Springer, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text Q336 .B86 1997 Off-site Artificial intelligence and the mind : new breakthroughs or dead-ends : a discussion / organized and edited by M.A. Boden, A. Bundy, and R.M. Needham.
- Text
- London : Royal Society, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text Q334 .A774 1994 Off-site Artificial intelligence : an introductory course / A. Bundy ... [et al.].
- Text
- New York : North-Holland : sole distributors in U.S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text Q335.A786 Off-site Proceedings of the eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany / [edited by Alan Bundy].
- Text
- [S.l.] : International Joint Conferences on Artificial Intelligence ; Los Altos, Calif. : Distributed by William Kaufmann, c1983.
- 1983
- 2 Items
Item details Format Call Number Item Location Text Q334 .I57 1983 vol.2 Off-site Item details Format Call Number Item Location Text Q334 .I57 1983 vol.1 Off-site Libraries of South Australia / editor, Alan Bundy.
- Text
- Adelaide : South Australian College of Advanced Education, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text Z870.A2 S684 1984q Off-site Catalogue of artificial intelligence techniques / Alan Bundy (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text Q336 .B86 1990 Off-site Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.).
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D337 I58 1994 Off-site Artificial intelligence and the mind : new breakthroughs or dead-ends : a discussion / organized and edited by M.A. Boden, A. Bundy, and R.M. Needham.
- Text
- London : Royal Society, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text Q334 .A774 1994 Off-site Artificial intelligence : an introductory course / A. Bundy ... [et al.].
- Text
- New York : North-Holland : sole distributors in U.S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text Q335.A786 Off-site Proceedings of the eighth International Joint Conference on Artificial Intelligence : IJCAI-83, 8-12 August 1983, Karlsruhe, West Germany / [edited by Alan Bundy].
- Text
- [S.l.] : International Joint Conferences on Artificial Intelligence ; Los Altos, Calif. : Distributed by William Kaufmann, c1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text Q334 .I57 1983 vol.2 Off-site Catalogue of artificial intelligence techniques / Alan Bundy (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text Q336 .B86 1990 Off-site Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D337 I58 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
