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

11th International Conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Theorem Proving in Higher Order Logics Jim Grundy
Codice Libristo: 05274873
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 1998
This book constitutes the refereed proceedings of the 11th 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

Datentransportkostenoptimale Gestaltung von Rechnernetzen Hans Demmer / Libro In brossura
common.buy 55.29 €
70 ANS D'EDITION 1943 2013 collegium / Libro In brossura
common.buy 8.19 €
ALEMANY GRAMATICA BASICA LD-CT-705 / Libro Libro
common.buy 5.89 €
MARCOS NAVARRO PUERTO / Libro In brossura
common.buy 30.69 €
Un simple roce de mangas Pulido / Libro In brossura
common.buy 21.39 €
Épreuves orales d'entretien aux concours des écoles de commerce. Bac+2 à Bac+5 Attelan / Libro In brossura
common.buy 24.29 €
Reflexología : una forma de buena salud Nicola Hall / Libro In brossura
common.buy 22.29 €
La conscience, l'inconscient et le sujet Ferrand / Libro In brossura
common.buy 17.09 €
Senza distinzione. Di sesso, di razza, di lingua Stefano Bartezzaghi / Libro In brossura
common.buy 17.99 €
Djela Jugoslavenske Akademije Znanosti I Umjetnosti, Volume 18 Jugoslavenska Akademija Znan Umjetnosti / Libro In brossura
common.buy 19.99 €
Por una Nueva Libertad (Edición en Letras Grandes): El Manifiesto Libertario Murray N Rothbard / Libro In brossura
common.buy 18.19 €
101 tareas para desarrollar las competencias 6 José Martínez Romero / Libro In brossura
common.buy 13.19 €
Consultant-Knigge Dirk H. Hartel / Libro In brossura
common.buy 44.29 €
Enquete Sur Les Conseils de Prud'hommes Et Les Livrets d'Ouvriers / Libro In brossura
common.buy 40.39 €
Das moderne Bild des Krieges Robert Gander / Libro In brossura
common.buy 62.29 €
Worte Sind Meine Brand-Satze Gegen Eure Knastmaschinerie Ralf-Axel Simon / Libro In brossura
common.buy 18.79 €
Die Interkulturelle Problematik Deutsch-Franzoesischer Unternehmenskooperationen Martin Strübing / Libro In brossura
common.buy 37.49 €

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

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 Jim Grundy, Malcolm Newey
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1998
Numero di pagine 496
EAN 9783540649878
ISBN 3540649875
Codice Libristo 05274873
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1580
Dimensioni 155 x 233 x 28

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
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 > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Transactions of the National Association for the Promotion of Social Science National Association for the Promotion O / Libro Rigido
common.buy 47.49 €
Stand Up and Be Counted: Middle Leadership in Education Contexts Kerry / Libro Rigido
common.buy 215.89 €
Intergalactic P.S. 3 Hope Larson / Libro In brossura
common.buy 6.59 €
S. J. Perelman Steven H. Gale / Libro In brossura
common.buy 52.49 €
Upper Tract Urothelial Carcinoma Shahrokh F. Shariat / Libro In brossura
common.buy 126.09 €
Clinician's Guide to Allergic Diseases Kevin Parker / Libro Rigido
common.buy 130.29 €
A Relation Of The Colony Of The Lord Baron Of Baltimore, In Maryland, Near Virginia Andrew White / Libro Rigido
common.buy 34.79 €
Maggie: A Girl of the Streets (a Story of New York) Stephen Crane / Libro In brossura
common.buy 25.39 €
Seize the Day Saul Bellow / Libro In brossura
common.buy 13.49 €
Enriching Multimedia with Sensory Effects Markus Waltl / Libro In brossura
common.buy 51.99 €
Holy Living Matthew Everhard / Libro elettronico Adobe ePub DRM
common.buy 16.59 €
DVD Country Guitar Mueller Mike / Libro In brossura
common.buy 9.29 €
Scattering Theory And Biomedical Engineering Modelling And Applications - Proceedings Of The 4th International Workshop Dimitrios I Fotiadis / Libro Rigido
common.buy 146.19 €
Tiffany Desk Treasures George A. Kemeny / Libro Rigido
common.buy 72.59 €
Tobias Smollett in the Enlightenment Richard J. Jones / Libro Rigido
common.buy 142.39 €
Copilots for Linguists Tiago Timponi Torrent / Libro In brossura
common.buy 27.19 €
Modern Folk Art Coloring Book Dawn Nicole Warnaar / Libro In brossura
common.buy 17.99 €

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?