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

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 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Broken Bonds T1 J. Bree / Libro In brossura
common.buy 10.29 €
NFL American Football Sebastian Mühlenhof / Libro Rigido
common.buy 30.59 €
Smútkové poradenstvo a smútková terapia Worden William / Libro In brossura
common.buy 12.29 €
Collection Des Voyages Des Souverains Des Pays-Bas V3 (1881) Louis Prosper Gachard / Libro In brossura
common.buy 40.29 €
Voyage dans le cristal George Sand / Libro In brossura
common.buy 9.09 €
Ganongův přehled lékařské fyziologie Kim E. Barrett / Libro Rigido
common.buy 86.79 €
Histoire mondiale / Libro In brossura
common.buy 8.09 €
Cornelsen Literathek - Textausgaben - Schachnovelle - Empfohlen für das 10.-13. Schuljahr - Textausgabe - Text - Erläuterungen - Materialien Stefan Zweig / Libro In brossura
common.buy 6.49 €
Komorbidität Psychose und Sucht Euphrosyne Gouzoulis-Mayfrank / Libro In brossura
common.buy 62.19 €
Barefoot On Diamond Road Amber Arcades / Audio CD audio
common.buy 12.69 €
Die verborgene Geschichte der Erde Claudia Buchholtz / Libro In brossura
common.buy 23.39 €
Elektra, die hell Leuchtende Jennifer Saint / Libro elettronico Adobe ePub DRM
common.buy 9.19 €
Die Schule der magischen Tiere 12: Voll das Chaos! Andreas Fröhlich / Audio CD audio
common.buy 9.89 €
Bajkala Ozera Skazki. Tom 2. Jeposy, Mify, Legendy I Skazanija / Libro In brossura
common.buy 26.59 €
Antologija Pjesnictva Hrvatskoga I Srbskoga: Narodnoga I Umjetnoga Sa Uvodom O Poetici (1876) August Senoa / Libro In brossura
common.buy 32.29 €
Čas šelmy aneb příběhy (p)o konci světa Vladimír Němec / Libro In brossura
common.buy 8.99 €
Poetiken des Widerspruchs in vormoderner Erzahlliteratur Elisabeth Lienert / Libro In brossura
common.buy 63.69 €
Yoga-Inspiration, m. 54 Beilage Barbara Kündig / Gioco/giocattolo Gioco
common.buy 12.89 €
Das Kino bin ich Robin Becker / Libro In brossura
common.buy 17.29 €
Was diese Frau so alles treibt, 1 DVD, deutsche u. englische Version Norman Jewison / Video DVD
common.buy 7.99 €
Mahoma Anuar Lahud / Libro In brossura
common.buy 6.49 €
Gran guía ilustrada de los loros Mike Harris / Libro In brossura
common.buy 30.59 €
Seidenstraße Quelle: Wikipedia / Libro In brossura
common.buy 12.69 €
Eutocius d'Ascalon Micheline Decorps-Foulquier / Libro Rigido
common.buy 118.59 €

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 22.89 €
Study Guide for Political Theories for Students Cengage Learning Gale / Libro In brossura
common.buy 9.99 €
Reception of Laurence Sterne in Europe Neubauer / Libro Rigido
common.buy 316.79 €
Seasoned to the Country Marilyn Wise / Libro Rigido
common.buy 27.99 €
Centre for Fortean Zoology 2007 Yearbook Jonathan Downes / Libro In brossura
common.buy 16.29 €
Evaluating Ernest R. House / Libro In brossura
common.buy 48.29 €
Mapleson Memoirs, 1848-1888 Volume 1 James Henry Mapleson / Libro Rigido
common.buy 29.09 €
Living Liturgy for Cantors: Year a 2011 Joyce Zimmerman / Libro In brossura
common.buy 8.49 €
Learning and Education Games: Volume Two: Bringing Games into Educational Contexts Karen Schrier Shaenfeld / Libro In brossura
common.buy 21.19 €
Vogue: The Gown Jo Ellison / Libro Rigido
common.buy 27.39 €
Skjerven Gaard Vik Sogn og Fjordane Donovan Hurst / Libro In brossura
common.buy 16.19 €
MathOdes: Etching Math in Memory: Algebra 1 & 2 J A Bailey / Libro In brossura
common.buy 23.69 €
Transcending the Razor Wire Katherine Young / Libro In brossura
common.buy 12.39 €
Women in Ancient Rome Bonnie MacLachlan / Libro In brossura
common.buy 43.19 €
Teaching in the Primary School Neil Kitson / Libro Rigido
common.buy 260.29 €
You Are Not Alone Nadja / Libro In brossura
common.buy 8.69 €
Legend of Cyber-Love Margaret Liu / Libro Rigido
common.buy 44.89 €
Whistle Window Brian Drinkwater / Libro In brossura
common.buy 8.59 €
Introduction to Cutting and Packing Optimization Guntram Scheithauer / Libro In brossura
common.buy 79.69 €
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 14.79 €
How to Draw with Photorealism: Drawing and Shading Techniques - Beginner to Advanced Jasmina Susak / Libro In brossura
common.buy 16.19 €
Bolt Action: Campaign: D-Day: British & Canadian Sectors Peter Dennis / Libro In brossura
common.buy 19.69 €
Roots and Rebellion Dr Arun Verma / Libro In brossura
common.buy 16.19 €

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?