Automated Theorem Proving - Wolfgang Bibel - Livros - Springer Fachmedien Wiesbaden - 9783528085209 - 1982
Caso a capa e o título não sejam correspondentes, considere o título como correto

Wolfgang Bibel
Automated Theorem Proving 1982 edition

Preço
R$ 305,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 5 de out
Receba avisos sobre novos lançamentos de Wolfgang Bibel

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Among the dreams of mankind is the one dealing with the mecha nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredible advances in computer technology let it appear as a real possibility. Of course, it is not easy to say what sort of thing human thinking actually is, a theme which over the centuries occupied many thinkers, mainly philosophers. From a critical point of view most of their theories were of a speculative nature since their only way of testing was by Gedanken-experi ments. It is the computer which has opened here a wide range of new possibilities since with this tool we now can model real experiments and thus test such theories like physicists do in their field. About a quarter of a century ago, scientific activi ties of that sort were started under the label of artificial intelligence Today these activities establish a wide and prosperous field which the author, in lack of any better name, prefers to call intellectics. Without any doubt, the com puter programs developed in this field have tought us much about the nature of human thinking."

312 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1982
ISBN13 9783528085209
Editoras Springer Fachmedien Wiesbaden
Páginas 312
Dimensões 170 × 244 × 16 mm   ·   498 g
Idioma Alemão  

Mais por Wolfgang Bibel

Mostrar tudo

Mais dessa série

Mais da mesma editora

Ver tudo de Wolfgang Bibel