Automated Theorem Proving
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Wolfgang Bibel
W. Bibel
- Duits
- Paperback
- 9783528085209
- 01 januari 1982
- 312 pagina's
Samenvatting
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.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- de
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 01 januari 1982
- Aantal pagina's
- 312
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Wolfgang Bibel
- Tweede Auteur
- W. Bibel
- Hoofduitgeverij
- Vieweg+Teubner Verlag
Overige kenmerken
- Editie
- 1982 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 170 mm
- Product lengte
- 244 mm
- Studieboek
- Ja
- Verpakking breedte
- 170 mm
- Verpakking hoogte
- 16 mm
- Verpakking lengte
- 244 mm
- Verpakkingsgewicht
- 539 g
EAN
- EAN
- 9783528085209
Je vindt dit artikel in
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.