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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Theorem Proving in Higher Order Logics

10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Theorem Proving in Higher Order Logics Amy Felty
Codice Libristo: 05274732
Casa editrice Springer, Berlin, novembre 1997
This book constitutes the refereed proceedings of the 10th International Conference on Theorem Provi... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Čas šelmy aneb příběhy (p)o konci světa Vladimír Němec / Libro In brossura
common.buy 10.49 €
Hathor-Sounds, Audio-CD Tom Kenyon / Audio CD audio
common.buy 12.19 €
Ganongův přehled lékařské fyziologie Kim E. Barrett / Libro Rigido
common.buy 102.09 €
Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Libro In brossura
common.buy 7.59 €
Die verborgene Geschichte der Erde Claudia Buchholtz / Libro In brossura
common.buy 27.99 €
Elektra, die hell Leuchtende Jennifer Saint / Libro elettronico Adobe ePub DRM
common.buy 11.39 €
NFL American Football Sebastian Mühlenhof / Libro Rigido
common.buy 37.09 €
Die Schule der magischen Tiere 12: Voll das Chaos! Andreas Fröhlich / Audio CD audio
common.buy 10.79 €
Histoire mondiale / Libro In brossura
common.buy 10.49 €
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Libro In brossura
common.buy 49.49 €
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Libro In brossura
common.buy 39.69 €
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Libro In brossura
common.buy 75.29 €
Smútkové poradenstvo a smútková terapia Worden William / Libro In brossura
common.buy 16.19 €
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Libro In brossura
common.buy 26.59 €
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Gioco/giocattolo Gioco
common.buy 16.39 €
Die Krankheiten Der Nagel Julius Heller / Libro In brossura
common.buy 55.29 €
Eutocius d'Ascalon Micheline Decorps-Foulquier / Libro Rigido
common.buy 139.39 €
Seidenstraße Quelle: Wikipedia / Libro In brossura
common.buy 15.29 €
Mahoma Anuar Lahud / Libro In brossura
common.buy 7.59 €
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Video DVD
common.buy 9.29 €

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

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 Theorem Proving in Higher Order Logics
Autore Amy Felty, Elsa L. Gunter
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1998
Numero di pagine 346
EAN 9783540633792
ISBN 3540633790
Codice Libristo 05274732
Casa editrice Springer, Berlin
Peso 460
Dimensioni 156 x 234 x 18

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
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

Local Analysis of Selberg's Trace Formula A. Good / Libro In brossura
common.buy 27.09 €
Transcending the Razor Wire Katherine Young / Libro In brossura
common.buy 15.39 €
Reception of Laurence Sterne in Europe Neubauer / Libro Rigido
common.buy 390.69 €
Seasoned to the Country Marilyn Wise / Libro Rigido
common.buy 33.69 €
Evaluating Ernest R. House / Libro In brossura
common.buy 58.59 €
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Libro Rigido
common.buy 35.79 €
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Libro In brossura
common.buy 10.09 €
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Libro In brossura
common.buy 25.99 €
Vogue: The Gown Jo Ellison / Libro Rigido
common.buy 35.89 €
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Libro In brossura
common.buy 20.09 €
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Libro In brossura
common.buy 29.49 €
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Libro In brossura
common.buy 19.89 €
Study Guide for Political Theories for Students Cengage Learning Gale / Libro In brossura
common.buy 12.19 €
Teaching in the Primary School Neil Kitson / Libro Rigido
common.buy 289.29 €
You Are Not Alone Nadja / Libro In brossura
common.buy 10.69 €
Legend of Cyber-Love Margaret Liu / Libro Rigido
common.buy 58.29 €
Plain Facts for Old and Young John Harvey Kellogg / Libro In brossura
common.buy 8.39 €
French Grammar Practice for Ambitious Learners - Beginner's Edition II, Tenses and Complex Sentences M. RODARY / Libro In brossura
common.buy 18.09 €
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Libro In brossura
common.buy 20.09 €
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Libro In brossura
common.buy 26.79 €
Roots and Rebellion Dr Arun Verma / Libro In brossura
common.buy 21.09 €
Decolonizing Ukraine: How the Indigenous People of Crimea Remade Themselves After Russian Occupation Greta Lynn Uehling / Libro In brossura
common.buy 44.49 €
Trinity and Creation in Augustine Scott A. Dunham / Libro In brossura
common.buy 41.09 €
Women in Ancient Rome Bonnie MacLachlan / Libro In brossura
common.buy 52.89 €

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?