Zur Startseite gehen
0,00 €*
Cover: 9783528185206 | Automated Theorem Proving | Wolfgang Bibel | Taschenbuch | Paperback
Dekorationsartikel gehören nicht zum Leistungsumfang.
Automated Theorem Proving
Taschenbuch von Wolfgang Bibel
Sprache: Englisch

106,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
I. Natural and formal logic.- II. The connection method in propositional logic.- III. The connection method in first-order logic.- IV. Variants and improvements.- V. Applications and extensions.- Mnemonics for use in references.- References.- List of Symbols.
Details
Erscheinungsjahr: 1987
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 304
Reihe: Künstliche Intelligenz
Inhalt: xiv
289 S.
ISBN-13: 9783528185206
ISBN-10: 3528185201
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Bibel, Wolfgang
Auflage: 2nd ed. 1987
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Künstliche Intelligenz
Maße: 244 x 170 x 17 mm
Von/Mit: Wolfgang Bibel
Erscheinungsdatum: 01.01.1987
Gewicht: 0,528 kg
preigu-id: 102163201
Inhaltsverzeichnis
I. Natural and formal logic.- II. The connection method in propositional logic.- III. The connection method in first-order logic.- IV. Variants and improvements.- V. Applications and extensions.- Mnemonics for use in references.- References.- List of Symbols.
Details
Erscheinungsjahr: 1987
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 304
Reihe: Künstliche Intelligenz
Inhalt: xiv
289 S.
ISBN-13: 9783528185206
ISBN-10: 3528185201
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Bibel, Wolfgang
Auflage: 2nd ed. 1987
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Künstliche Intelligenz
Maße: 244 x 170 x 17 mm
Von/Mit: Wolfgang Bibel
Erscheinungsdatum: 01.01.1987
Gewicht: 0,528 kg
preigu-id: 102163201
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783319340418 | System Dynamics Modeling with R | Jim Duggan | Buch | Englisch | 2016
System Dynamics Modeling with R
EAN: 9783319340418
Sprache: Englisch
Von/Mit: Jim Duggan

114,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9780262632218 | Pulsed Neural Networks | Wolfgang Maass | Taschenbuch | Paperback
Pulsed Neural Networks
EAN: 9780262632218
Sprache: Englisch
Von/Mit: Wolfgang Maass

56,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781788998796 | Hands-On Computer Vision with Julia | Dmitrijs Cudihins | Taschenbuch
Hands-On Computer Vision with Julia
EAN: 9781788998796
Sprache: Englisch
Von/Mit: Dmitrijs Cudihins

50,65 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030042981 | Developing Enterprise Chatbots | Learning Linguistic Structures | Buch
Developing Enterprise Chatbots
Learning Linguistic Structures
EAN: 9783030042981
Sprache: Englisch
Von/Mit: Boris Galitsky

77,55 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783754330289 | Einführung in die agile Business-Analyse | David J. Paul | Taschenbuch
Einführung in die agile Business-Analyse
Herausforderungen und Lösungsansätze für die Business-Analyse in Scrum, DSDM und Prince2
EAN: 9783754330289
Sprache: Deutsch
Von/Mit: David J. Paul

27,99 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9780956372826 | Artificial Intelligence Engines | James V Stone | Buch | Englisch
Artificial Intelligence Engines
A Tutorial Introduction to the Mathematics of Deep Learning
EAN: 9780956372826
Sprache: Englisch
Von/Mit: James V Stone

81,75 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781782175193 | ROS Robotics By Example | Carol Fairchild (u. a.) | Taschenbuch | 2016
ROS Robotics By Example
This is an easy-to-follow guide with hands-on examples of ROS robots, both real and in simulation.
EAN: 9781782175193
Sprache: Englisch
Von/Mit: Carol Fairchild (u. a.)

62,30 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781484280195 | Applied Deep Learning with TensorFlow 2 | Umberto Michelucci | Buch
Applied Deep Learning with TensorFlow 2
Learn to Implement Advanced Deep Learning Techniques with Python
EAN: 9781484280195
Sprache: Englisch
Von/Mit: Umberto Michelucci

69,30 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9789811903151 | AI-empowered Knowledge Management | Nilanjan Dey (u. a.) | Buch | XIV
AI-empowered Knowledge Management
EAN: 9789811903151
Sprache: Englisch
Von/Mit: Nilanjan Dey (u. a.)

146,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9780199695119 | The Nature of Complex Networks | Sergey N Dorogovtsev (u. a.) | Buch
The Nature of Complex Networks
EAN: 9780199695119
Sprache: Englisch
Von/Mit: Sergey N Dorogovtsev (u. a.)

101,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781633438774 | Data for All | John K. Thompson | Buch | Kartoniert / Broschiert
Data for All
EAN: 9781633438774
Sprache: Englisch
Von/Mit: John K. Thompson

50,60 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...