automated theorem proving von bibel wolfgang (11 Ergebnisse)

Broschur Sehr gut erhalten.

Broschiert. Zustand: Gut. 2., rev. ed. 288 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.

*kart. Zustand: Gut. XIII, 292 S. ; 23 cm , (Gewicht Buch + Verpackung > 500 g) - sauberes Buch in gutem Zustand, unkenntlich gemachter Namensaufkleber (siehe auch mein Foto) [sw] Sprache: Englisch Gewicht in Gramm: 536.

Format groß 8°, LEINEN, der Einband ist durch eine zusätzliche feste Transparentschutzfolie geschützt, 292 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem tadellosen Zustand --- LINEN BINDING, cover in foil, 292 pages, Lib.Ex., no marks, the book is in an excellent condition. Shipping to abroad insured with tracking number.

Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Paperback. Zustand: Brand New. 2nd revised subsequent edition. 304 pages. 9.61x6.69x0.69 inches. In Stock.

Taschenbuch. Zustand: Neu. Automated Theorem Proving | Wolfgang Bibel | Taschenbuch | xiv | Englisch | 1987 | Vieweg & Teubner | EAN 9783528185206 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization 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 incredi ble advances in computer technology let it appear as a real possibility.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 312 pp. Deutsch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.

Taschenbuch. Zustand: Neu. Automated Theorem Proving | Wolfgang Bibel | Taschenbuch | 292 S. | Deutsch | 1982 | Vieweg & Teubner | EAN 9783528085209 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.