Artículos relacionados a Automated Theorem Proving (Artificial Intelligence)...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 85,55
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Automated Theorem Proving (Artificial Intelligence)...
Imagen del vendedor
Automated theorem proving. Artificial intelligence
Publicado por
Braunschweig ; Wiesbaden : Vieweg, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: 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. Nº de ref. del artículo: 2015908
Cantidad disponible: 1 disponibles
Imagen del vendedor
Automated Theorem Proving
Publicado por
Vieweg+Teubner Jan 1987, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 289 pp. Englisch. Nº de ref. del artículo: 9783528185206
Cantidad disponible: 2 disponibles
Imagen de archivo
Automated Theorem Proving (Künstliche Intelligenz)
Publicado por
Vieweg+Teubner Verlag, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783528185206_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Theorem Proving (Artificial Intelligence): A Logical Basis (K�nstliche Intelligenz)
Publicado por
Friedrick Vieweg & Son 1987-01-01, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783528185206
Cantidad disponible: 10 disponibles
Imagen del vendedor
Automated Theorem Proving
Publicado por
Vieweg+Teubner Verlag, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 sign. Nº de ref. del artículo: 4867673
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Automated Theorem Proving
Publicado por
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783528185206
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving (Künstliche Intelligenz)
Publicado por
Vieweg+Teubner Verlag, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Tapa blanda
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783528185206
Cantidad disponible: 2 disponibles
Imagen de archivo
Automated Theorem Proving (Künstliche Intelligenz)
Publicado por
Vieweg+Teubner Verlag, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783528185206
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Automated Theorem Proving
Publicado por
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1987, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 304 pp. Englisch. Nº de ref. del artículo: 9783528185206
Cantidad disponible: 1 disponibles
Imagen de archivo
Automated Theorem Proving (Kuenstliche Intelligenz)
Publicado por
Friedrick Vieweg & Son, 1987
ISBN 10: 3528185201
ISBN 13: 9783528185206
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd revised subsequent edition. 304 pages. 9.61x6.69x0.69 inches. In Stock. Nº de ref. del artículo: x-3528185201
Cantidad disponible: 2 disponibles