Name: Automated Theorem Proving (en Alemán)
Price: 65.43 USD
Availability: InStock
Author: Bibel, Wolfgang
ISBN: 9783528085209

portada Automated Theorem Proving (en Alemán)

Formato

Libro Físico

Autor

Wolfgang Bibel

Editorial

Vieweg+teubner Verlag

Idioma

Alemán

N° páginas

292

Encuadernación

Tapa Blanda

Dimensiones

24.4 x 17.0 x 1.7 cm

Peso

0.50 kg.

ISBN13

9783528085209

Categorías

Lógica matemática
Inteligencia artificial

Automated Theorem Proving (en Alemán)

Wolfgang Bibel (Autor) · Vieweg+teubner Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 130.86$ 65.43

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 65.43

Llega entre el 03 Sep y el 16 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Automated Theorem Proving (en Alemán)"

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.