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
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
Artikel-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
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
Artikel-ID: 102163201
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9783319221434 | An Introduction to Catalan Numbers | Steven Roman | Buch | xii | 2015
An Introduction to Catalan Numbers
EAN: 9783319221434
Sprache: Englisch
Von/Mit: Steven Roman

46,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783642548857 | Corporate Semantic Web | Börteçin Ege (u. a.) | Buch | X.media.press
Corporate Semantic Web
Wie semantische Anwendungen in Unternehmen Nutzen stiften
EAN: 9783642548857
Sprache: Deutsch
Von/Mit: Börteçin Ege (u. a.)

99,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781849514767 | OpenGL 4.0 Shading Language Cookbook | David Wolff | Taschenbuch
OpenGL 4.0 Shading Language Cookbook
EAN: 9781849514767
Sprache: Englisch
Von/Mit: David Wolff

66,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783319836379 | Probability Logics | Zoran Ognjanovi¿ (u. a.) | Taschenbuch | xi
Probability Logics
Probability-Based Formalization of Uncertain Reasoning
EAN: 9783319836379
Sprache: Englisch
Von/Mit: Zoran Ognjanovi¿ (u. a.)

119,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783030302245 | Linguistic Linked Data | Representation, Generation and Applications
Linguistic Linked Data
Representation, Generation and Applications
EAN: 9783030302245
Sprache: Englisch
Von/Mit: Philipp Cimiano (u. a.)

160,49 €*

Aktuell nicht verfügbar

Buch
Cover: 9783031117473 | Federated and Transfer Learning | Roozbeh Razavi-Far (u. a.) | Buch
Federated and Transfer Learning
EAN: 9783031117473
Sprache: Englisch
Von/Mit: Roozbeh Razavi-Far (u. a.)

160,49 €*

Aktuell nicht verfügbar

Buch
Cover: 9783031397554 | Weighted and Fuzzy Graph Theory | Sunil Mathew (u. a.) | Buch | xvii
Weighted and Fuzzy Graph Theory
EAN: 9783031397554
Sprache: Englisch
Von/Mit: Sunil Mathew (u. a.)

160,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783031493898 | Digital Transformation: What are the Smart Cities Today? | Taschenbuch
Digital Transformation: What are the Smart Cities Today?
EAN: 9783031493898
Sprache: Englisch
Von/Mit: Anastasia Kulachinskaya (u. a.)

128,39 €*

Aktuell nicht verfügbar

Buch
Cover: 9780262048989 | Artificial Intelligence | Bruke Kifle (u. a.) | Buch | Englisch | 2024
Artificial Intelligence
A Systems Approach from Architecture Principles to Deployment
EAN: 9780262048989
Sprache: Englisch
Von/Mit: Bruke Kifle (u. a.)

126,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783759729460 | Informatik in Teams | 11. Münsteraner Workshop zur Schulinformatik
Informatik in Teams
11. Münsteraner Workshop zur Schulinformatik
EAN: 9783759729460
Sprache: Deutsch
Von/Mit: Marco Thomas (u. a.)

10,00 €*

Lieferzeit 2-4 Werktage

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