Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Automated Theorem Proving (in German)
Type
Physical Book
Author
Publisher
Language
German
Pages
292
Format
Paperback
Dimensions
24.4 x 17.0 x 1.7 cm
Weight
0.50 kg.
ISBN13
9783528085209
Categories

Automated Theorem Proving (in German)

Wolfgang Bibel (Author) · Vieweg+teubner Verlag · Paperback

Automated Theorem Proving (in German) - Bibel, Wolfgang

Cheaper New Book Imported to Netherlands
Delivery: 03 Sep - 08 Sep Shipping: 12 to 14 business days.
€ 59,24
Faster New Book Imported to Netherlands
Delivery: 21 Aug - 25 Aug Shipping: 4 to 5 business days.
€ 72,03
Import costs and 9% BTW included in the price ✅
€ 59,24

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Automated Theorem Proving (in German)"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in German.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews