«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Automated Theorem Proving

Theory and Practice

Idioma InglésInglés
Libro Tapa dura
Libro Automated Theorem Proving Monty Newborn
Código Libristo: 05248009
Editores Springer-Verlag New York Inc., diciembre 2000
This text and software package introduces readers to automated theorem proving, while providing two... Descripción completa
? points 444 b
181.49 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Labyrint světa a ráj srdce collegium / Libro Tapa blanda
common.buy 7.59 €
Réussir le concours de technicien de police technique et scientifique de la police nationale (concours externe et interne) Quillien / Libro Tapa blanda
common.buy 32.29 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Libro Tapa blanda
common.buy 7.39 €
UNDER EXECUTION, UNDER JAILBREAK ARAKI / Libro Libro
common.buy 12.49 €
Popular
ONE PIECE Nº 05 (3 EN 1) ODA / Libro Tapa blanda
common.buy 17.99 €
Livre sonore Petit Ours Brun - Mon année en chansons Marie Aubinais / Libro Libro
common.buy 21.69 €
Die neue Linie 1 B1.1 - Hybride Ausgabe allango Susan Kaufmann / Libro Tapa blanda
common.buy 26.49 €
Psychoanalyse und Neurobiologie Tobias H. Brocher / Libro Tapa dura
common.buy 27.59 €
Pour une pensée systémique Donella Meadows / Libro Tapa blanda
common.buy 19.29 €
New Scandinavian Design Anja Llorella Oriol / Libro Tapa dura
common.buy 25.49 €
La protección del consumidor y usuario en el marco de los contratos de adhesión Agustín Vigurt Perea / Libro Tapa blanda
common.buy 29.29 €
Nudzimisie i przyjaciele Rafal Klimczak / Libro Tapa dura
common.buy 5.99 €
National Geographic. In 125 Jahren um die Welt. Asien&Ozeanien; . Reuel Golden / Libro Tapa dura
common.buy 68.59 €
Amando Adamari Lopez / Libro Tapa blanda
common.buy 23.79 €
Čítanie s porozumením V Afrike / Libro Tapa blanda
common.buy 3.09 €
Hiltl. Vegetarisch nach Lust und Laune / Libro Tapa dura
common.buy 54.99 €
Mroczniej James EL / Libro Tapa blanda
common.buy 8.39 €
Licht aus, kleine Maus! Caroline Opheys / Libro Libro de concertinas
common.buy 7.69 €
Efectividad de La Magnetoterapia En La Gonartrosis Margarita González Méndez / Libro Tapa blanda
common.buy 28.69 €
Au coeur du monde un homme pour les autres ANNA MARIA PANTANELL Libro Tapa blanda
common.buy 19.69 €
Batman - Svět Různí / Libro Tapa dura
common.buy 20.99 €

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems. Systemanforderung: The theorem-proving software runs under UNIX or LINUX or under IBM's C++ compiler.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Automated Theorem Proving
Autor Monty Newborn
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2000
Número de páginas 231
EAN 9780387950754
ISBN 0387950753
Código Libristo 05248009
Editores Springer-Verlag New York Inc.
Peso 543
Dimensiones 155 x 235 x 18

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Interdisciplinarity, Creativity, and Learning Viktor Freiman / Libro Tapa dura
common.buy 124.49 €
Automotive Control Systems Uwe Kiencke / Libro Tapa dura
common.buy 139.39 €
Digital Shopfloor: Industrial Automation in the Industry 4.0 Era John Soldatos / Libro Tapa dura
common.buy 135.49 €
Económico
The Great Inception: Satan's Psyops from Eden to Armageddon Derek P. Gilbert / Libro Tapa blanda
common.buy 18.29 €
Próximamente Nuevo
Galaxies Jake Foster / Libro Tapa blanda
common.buy 10.49 €
Boathouse Jon Fosse / Libro Tapa blanda
common.buy 14.29 €
Inter-Organizational Collaboration by Design Jennifer Madden / Libro Tapa dura
common.buy 250.59 €
Popular
Designs for the Pluriverse Arturo Escobar / Libro Tapa blanda
common.buy 31.09 €
By-Laws, Rules, and Ordinances for the Government of the Village of Massena, New York Adopted November 14, 1904 Anonymous / Libro Tapa blanda
common.buy 12.49 €
A Christmas Carol DICKENS / Libro Tapa blanda
common.buy 13.09 €
Introduction to Industrial Automation NIKOLAKOPOULOS / Libro Tapa dura
common.buy 183.69 €
Popular
Shadow and Bone Leigh Bardugo / Libro Tapa blanda
common.buy 9.19 €
Atlas of Quaternary Pollen and Spores in China Lingyu Tang / Libro Tapa dura
common.buy 225.39 €
Jay Gould: The Life and Legacy of the Railroad Executive Who Became America's Most Notorious Robber Baron Charles River Editors / Libro Tapa blanda
common.buy 11.79 €
Mother Teresa: the Apostle of Love Gautam Ghosh / Libro Tapa blanda
common.buy 17.19 €
Popular
Hope and Help for Your Nerves: End Anxiety Now Claire Weekes / Libro Tapa blanda
common.buy 16.59 €
Popular
Berserk Deluxe Volume 6 Kentaro Miura / Libro Tapa dura
common.buy 39.99 €
Confessions of St. Augustine Augustine Saint Augustine / Libro Tapa dura
common.buy 19.89 €
Playing Nice JP DELANEY / Libro Tapa blanda
common.buy 18.29 €
Little Renaissance Veronica Glover / Libro Tapa blanda
common.buy 22.99 €
When Life Gives You Vampires Gloria Duke / Libro Tapa blanda
common.buy 13.49 €
Popular
Bridgerton Boxed Set 5-8: To Sir Phillip, with Love / When He Was Wicked / It's in His Kiss / On the Way to the Wedding QUINN JULIA / Libro Tapa blanda
common.buy 61.29 €
Playing with Purpose: Racing Mike Yorkey / Libro electrónico Adobe ePub DRM
common.buy 17.99 €
Happy by Design Ben Channon / Libro Tapa blanda
common.buy 37.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?