Bundy, Alan
Bundy, Alan R., 1947-....
Bundy, Alan, 1947-
Bundy, A
Alan Bundy British artificial intelligence researcher
VIAF ID: 12460904 ( Personal )
Permalink: http://viaf.org/viaf/12460904
Preferred Forms
- 100 0 _ ‡a Alan Bundy ‡c British artificial intelligence researcher
- 200 _ | ‡a Bundy ‡b Alan R. ‡f 1947-....
-
- 100 1 _ ‡a Bundy, A
- 100 1 _ ‡a Bundy, Alan
-
-
-
-
-
-
- 100 1 _ ‡a Bundy, Alan
- 100 1 _ ‡a Bundy, Alan R. ‡d 1947-...
- 100 1 _ ‡a Bundy, Alan R., ‡d 1947-....
-
-
4xx's: Alternate Name Forms (18)
5xx's: Related Names (2)
- 510 2 _ ‡a University of Edinburgh
- 510 2 _ ‡a University of Leicester
Works
Title | Sources |
---|---|
AIテクノロジー | |
Artificial intelligence : an introductory course | |
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings | |
Automated Discovery of Inductive Theorems | |
CADE-12 | |
Catalogue of artificial intelligence techniques | |
Catalogue of artificial intelligence tools | |
Cognitive psychology. | |
Computational models for problem solving | |
The computer modelling of mathematical reasoning | |
Eiai tekunorojī | |
Formal analysis of problem solving behaviour | |
IJCAI-83 | |
Jinkō chinō nyūmon | |
Next chapters : public libraries for older adults in Australia and New Zealand, Sydney 1-2 May 2009, conference proceedings | |
OMDoc | |
OMDoc - an open markup format for mathematical documents [version 1.2] | |
Proceedings of the eighth international joint conference on artificial intelligence : 8-12 August 1983, Karlsruhe, West Germany | |
Rob Milne : a tribute to a pioneering AI scientist, entrepreneur, and mountaineer | |
人工知能入門 |