Saltar para o conteúdo principal

Retrato do autor

Alan Bundy (1)

Autor(a) de The Computer Modelling of Mathematical Reasoning

Para outros autores com o nome Alan Bundy, ver a página de desambiguação.

8 Works 65 Membros 1 Review

Obras por Alan Bundy

Popular Recente

The Computer Modelling of Mathematical Reasoning (1983) 23 exemplares

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

Artificial Intelligence: An Introductory Course (1978) 9 exemplares

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

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

Catalogue of artificial intelligence techniques (1990) 3 exemplares

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

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

Etiquetado

125A (1) 2006_catalog (1) 2009 (1) 2F3 (1) @goog (1) @uasc (1) @work (1) [Box D13] (1) AI (3) annotated (1) Automated Reasoning (2) automatic theorem prooving (1) bibalex (1) CG (1) Ciência da computação (9) Computador (1) computadores (1) computação (1) conference proceedings (1) CS (1) DH (1) electrical-engineering-and-computer-science (subject) (1) electrical-engineering-and-computer-science/6-945-adventures-in-advanced-symbolic-programming-spring-2009 (course) (1) Escritório (2) IJCAI (1) Inteligência artificial (5) l:office-1 (1) Livro didático (1) Lógica (2) Matemática (5) MIT OCW (1) NF (1) Não ficção (3) own (1) possuído (1) recommend (1) School of Engineering (school) (1) Shelf 23 (1) unreviewed (1) X-jlk-loc-parents my room (1)

Tradução de etiquetas em curso

Conhecimento Comum

Sexo: male

Membros

Críticas

Artificial Intelligence: An Introductory Course por A. Bundy

NA

Assinalado

pszolovits | Feb 3, 2021 |

See More Reviews

Estatísticas

Obras: 8
Membros: 65
Popularidade: #261,994
Avaliação: ½ 3.3

Críticas: 1
ISBN: 32
Línguas: 1

Tabelas & Gráficos

See More Charts & Graphs

Fotografias

Galeria de Autores

Ligações

Wikipedia: Alan Bundy (1) (English)

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Torne-se num Autor LibraryThing.

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

Este sítio web usa «cookies» para fornecer os seus serviços, para melhorar o desempenho, para analítica e (se não estiver autenticado) para publicidade. Ao usar o LibraryThing está a reconhecer que leu e compreende os nossos Termos de Serviço e Política de Privacidade. A sua utilização deste sítio e serviços está sujeita a essas políticas e termos.