Passer au contenu principal

Alan Bundy (désambigüisation)

"Alan Bundy" est composé d'au moins 2 auteurs distincts, divisés selon leurs œuvres.

A propos de l'auteur

Comprend les noms: ed. Alan Bundy, Alan Bundy : Compiler and editor

Division des auteurs

Alan Bundy (1)

The Computer Modelling of Mathematical Reasoning (1983) 23 exemplaires

Rippling: Meta-Level Guidance for Mathematical Reasoning (2005) 11 exemplaires

Artificial Intelligence: An Introductory Course (1978) 9 exemplaires

Artificial Intelligence Techniques: A Comprehensive Catalogue (1997) 8 exemplaires

Catalogue of Artificial Intelligence Tools (Symbolic Computation) (1984) 7 exemplaires

Catalogue of artificial intelligence techniques (1990) 3 exemplaires

Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer, Volume 139 Frontiers in Artificial… (2006) 2 exemplaires

Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI 83, Karlsruhe, West Germany… (1983) 2 exemplaires

Alan Bundy (2)

Les œuvres ont été combinées en Alan L. Bundy.

Directory of Australian Academic and Research Libraries - Fifth Edition 2 exemplaires

Alan Bundy (inconnu)

Automated Deduction ― CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1,… (1994) 4 exemplaires

Directory of Australian public libraries (2006) 2 exemplaires

Australian and New Zealand information literacy framework : principles, standards and practice (2004) 1 exemplaire

L' automazione del ragionamento matematico: Dalla dimostrazione dei teoremi alla formazione dei concetti (1986) 1 exemplaire

Learning Futures: Public Libraries for the New Generations in Australia and New Zealand (2007) 1 exemplaire

Partage des connaissances

Notice de désambigüisation: #1 is born on May 18, 1947 and is a professor at the School of Informatics at the University of Edinburgh, with contribution in the fields of automated reasoning, proof search and artificial intelligence.

#2 is Australian librarian; fuller name Alan L. Bundy: LT Page for Alan L. Bundy

Photos

Galerie des auteurs

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.