Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Automated Theorem Proving

Theory and Practice

Lingua IngleseInglese
Libro Rigido
Libro Automated Theorem Proving Monty Newborn
Codice Libristo: 05248009
Casa editrice Springer-Verlag New York Inc., dicembre 2000
This text and software package introduces readers to automated theorem proving, while providing two... Descrizione completa
? points 368 b
150.19 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Labyrint světa a ráj srdce collegium / Libro In brossura
common.buy 5.59 €
New Scandinavian Design Anja Llorella Oriol / Libro Rigido
common.buy 20.29 €
Réussir le concours de technicien de police technique et scientifique de la police nationale (concours externe et interne) Quillien / Libro In brossura
common.buy 25.89 €
Vint i Ramon Barnils Laia Altarriba Piguillem / Libro In brossura
common.buy 19.59 €
National Geographic. In 125 Jahren um die Welt. Asien&Ozeanien; . Reuel Golden / Libro Rigido
common.buy 56.79 €
UNDER EXECUTION, UNDER JAILBREAK ARAKI / Libro Libro
common.buy 10.49 €
ONE PIECE Nº 05 (3 EN 1) ODA / Libro In brossura
common.buy 15.79 €
Livre sonore Petit Ours Brun - Mon année en chansons Marie Aubinais / Libro Libro
common.buy 17.29 €
Souvenirs de jeunesse 1939 - 1945 Paul Kalt / Libro In brossura
common.buy 5.99 €
Die neue Linie 1 B1.1 - Hybride Ausgabe allango Susan Kaufmann / Libro In brossura
common.buy 21.29 €
Pour une pensée systémique Donella Meadows / Libro In brossura
common.buy 15.29 €
Psychoanalyse und Neurobiologie Tobias H. Brocher / Libro Rigido
common.buy 21.69 €
Physiologie Des Menschen, Erster Band Franciscus Cornelis Donders / Libro Rigido
common.buy 33.09 €
La protección del consumidor y usuario en el marco de los contratos de adhesión Agustín Vigurt Perea / Libro In brossura
common.buy 24.49 €
Cancionero Francesco Petrarca / Libro In brossura
common.buy 14.69 €
Nudzimisie i przyjaciele Rafal Klimczak / Libro Rigido
common.buy 4.49 €
Hiltl. Vegetarisch nach Lust und Laune / Libro Rigido
common.buy 42.89 €
Batman - Svět Různí / Libro Rigido
common.buy 12.99 €
Au coeur du monde un homme pour les autres ANNA MARIA PANTANELL Libro In brossura
common.buy 15.59 €
Čítanie s porozumením V Afrike / Libro In brossura
common.buy 2.49 €
Efectividad de La Magnetoterapia En La Gonartrosis Margarita González Méndez / Libro In brossura
common.buy 22.69 €
Mroczniej James EL / Libro In brossura
common.buy 6.79 €
Amando Adamari Lopez / Libro In brossura
common.buy 18.59 €
Licht aus, kleine Maus! Caroline Opheys / Libro Leporello
common.buy 5.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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Theorem Proving
Autore Monty Newborn
Lingua Inglese
Rilegatura Libro - Rigido
Data di pubblicazione 2000
Numero di pagine 231
EAN 9780387950754
ISBN 0387950753
Codice Libristo 05248009
Casa editrice Springer-Verlag New York Inc.
Peso 543
Dimensioni 155 x 235 x 18

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Interdisciplinarity, Creativity, and Learning Viktor Freiman / Libro Rigido
common.buy 104.19 €
Automotive Control Systems Uwe Kiencke / Libro Rigido
common.buy 115.29 €
Digital Shopfloor: Industrial Automation in the Industry 4.0 Era John Soldatos / Libro Rigido
common.buy 112.59 €
Inter-Organizational Collaboration by Design Jennifer Madden / Libro Rigido
common.buy 223.69 €
I migliori
Designs for the Pluriverse Arturo Escobar / Libro In brossura
common.buy 25.69 €
By-Laws, Rules, and Ordinances for the Government of the Village of Massena, New York Adopted November 14, 1904 Anonymous / Libro In brossura
common.buy 9.59 €
A Christmas Carol DICKENS / Libro In brossura
common.buy 10.49 €
Introduction to Industrial Automation NIKOLAKOPOULOS / Libro Rigido
common.buy 170.29 €
I migliori
Shadow and Bone Leigh Bardugo / Libro In brossura
common.buy 7.29 €
In preparazione Nuovi
Galaxies Jake Foster / Libro In brossura
common.buy 8.29 €
Atlas of Quaternary Pollen and Spores in China Lingyu Tang / Libro Rigido
common.buy 181.29 €
Jay Gould: The Life and Legacy of the Railroad Executive Who Became America's Most Notorious Robber Baron Charles River Editors / Libro In brossura
common.buy 11.79 €
Mother Teresa: the Apostle of Love Gautam Ghosh / Libro In brossura
common.buy 13.99 €
The Story Blanket Harriet May Savitz / Libro In brossura
common.buy 6.99 €
I migliori
Boathouse Jon Fosse / Libro In brossura
common.buy 10.89 €
I migliori
Hope and Help for Your Nerves: End Anxiety Now Claire Weekes / Libro In brossura
common.buy 12.69 €
I migliori
Berserk Deluxe Volume 6 Kentaro Miura / Libro Rigido
common.buy 33.29 €
Confessions of St. Augustine Augustine Saint Augustine / Libro Rigido
common.buy 16.19 €
Playing Nice JP DELANEY / Libro In brossura
common.buy 14.59 €
Little Renaissance Veronica Glover / Libro In brossura
common.buy 18.79 €
When Life Gives You Vampires Gloria Duke / Libro In brossura
common.buy 10.29 €
I migliori
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 In brossura
common.buy 46.39 €
Playing with Purpose: Racing Mike Yorkey / Libro elettronico Adobe ePub DRM
common.buy 13.79 €
Outdoor Kids in an Inside World: Getting Your Family Out of the House and Radically Engaged with Nature Rinella / Libro In brossura
common.buy 12.69 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?