Produktbild
Wolfgang Bibel

Automated Theorem Proving

Buch

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… Mehr

CHF 73.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-3-528-08520-9
  • EAN: 9783528085209
  • Produktnummer: 13334272
  • Verlag: Vieweg+Teubner Verlag
  • Sprache: Deutsch
  • Erscheinungsjahr: 1982
  • Seitenangabe: 312 S.
  • Masse: H24.4 cm x B17.0 cm x D1.6 cm 542 g
  • Auflage: 1982
  • Abbildungen: Paperback
  • Gewicht: 542

28 weitere Werke von Wolfgang Bibel:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.