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

16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Theorem Proving in Higher Order Logics David Basin
Codice Libristo: 01562897
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2003
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Provi... Descrizione completa
? points 125 b
51.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Encyklopädie und Methodologie der philologischen Wissenschaften Ernst Bratuscheck / Libro Rigido
common.buy 51.39 €
BRIO World 33658 Baustellenfahrzeuge - Ergänzung für die BRIO-Holzeisenbahn - Empfohlen ab 3 Jahren / Gioco/giocattolo Gioco
common.buy 27.59 €
Entwicklung eines Rahmenkonzepts zur IT-basierten Unterstützung des Chancen- und Risikomanagements in Konzernen Raphaela Saitz / Libro In brossura
common.buy 59.69 €
De la poubelle au musée. Anthropologie des restes Octave Debary / Libro In brossura
common.buy 12.89 €
Fale ao Sol: Há muitas horas no dia pra se pensar Edmar Camara / Libro In brossura
common.buy 10.69 €
Delito de fuga CHRISTOPHE LEON / Libro In brossura
common.buy 14.69 €
Abu -Lala Mahari ( - ) Avetik Isahakyan / Libro In brossura
common.buy 17.19 €
Identification Des Esp ces pices Prioritaires Pour La Domestication Serge Alain Mbong Ekollo / Libro In brossura
common.buy 34.49 €
High School Musical 3, Senior Year, 1 DVD (Extended Edition) Seth Flaum / Video DVD
common.buy 8.99 €
Slovníček základních hudebních pojmů Ludmila Vrkočová / Libro In brossura
common.buy 4.89 €
Všechny cesty vedou do Říma Ivan Burkert / Libro Rigido
common.buy 3.19 €

This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003, held in Rome, Italy in September 2003.§The 24 revised full papers presented together with an invited paper were carefully reviewed and selected from 50 submissions. The papers are organized in topical sections on hardware and Assembler languages, proof automation, fool combination, logic extensions, theorem prover technology, mathematical theories, and security. Among the theorem proving systems discussed are HOL, Coq, MetaPRL, and Isabelle/Isar.

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 David Basin, Burkhart Wolff
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 366
EAN 9783540406648
ISBN 3540406646
Codice Libristo 01562897
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1190
Dimensioni 155 x 233 x 21

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 > Sistemi esperti e basati sulla conoscenza
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
Filosofia e Religione > Filosofia
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

I Am Grateful: A BIG Gratitude Jar Project Book Roni Jacks / Libro In brossura
common.buy 11.59 €
Stabilization, Safety, and Security of Distributed Systems Shlomi Dolev / Libro In brossura
common.buy 99.19 €
The Magic School Bus Inside a Beehive Joanna Cole / Libro In brossura
common.buy 15.69 €
Bad People Robertson / Libro Rigido
common.buy 17.29 €
Life and Art of Anne Eisner (1911-1967) Christie McDonald / Libro Rigido
common.buy 29.49 €
The Rapids Of Niagara (1876) Susan Warner / Libro In brossura
common.buy 37.69 €
The Horror, the Funny, and the Weird: Short Stories Akeyla Battles / Libro In brossura
common.buy 10.69 €
I migliori
Vampire Knight: Memories, Vol. 3 Matsuri Hino / Libro In brossura
common.buy 6.59 €
National Geographic GuideMap Touristische Karte Texas National Geographic Maps / Pubblicazioni cartacee Mappa
common.buy 7.69 €
Nature of Truth and Falshood; With Some Motives to the Practice of Mutual Sincerity. a Sermon Preached Before the Queen, in St. George's Chapel at Win WILLIAM REEVES / Libro Rigido
common.buy 22.69 €
Independent Watchmakers Steve Huyton / Libro Rigido
common.buy 33.29 €
I migliori
Executive Functioning Workbook for Kids: 40 Fun Activities to Build Memory, Flexible Thinking, and Self-Control Skills at Home, in School, and Beyond GRAND SHARON / Libro In brossura
common.buy 11.49 €
Art Book DK / Libro Rigido
common.buy 18.59 €
Tumors in Domestic Animals 5e Meuten / Libro Rigido
common.buy 199.19 €
I Survived the Wellington Avalanche, 1910 (I Survived #22) TARSHIS LAUREN / Libro In brossura
common.buy 4.39 €
Alcidamas Alcidamas / Libro In brossura
common.buy 34.59 €
Qualitative Research: Concepts, Contexts, and Methods Muhammad Rizwan Ashraf / Libro In brossura
common.buy 85.19 €
Nuovi
Tom Clancy Line of Demarcation M.P. Woodward / Libro In brossura
common.buy 9.59 €
Fracture mechanics of concrete: Material characterization and testing Alberto Carpinteri / Libro In brossura
common.buy 51.09 €
I migliori
Berserk Volume 32 Kentaro Miura / Libro In brossura
common.buy 9.69 €
Insights in Decision Making Hogarth / Libro Rigido
common.buy 164.19 €
Camel Irwin Robert Irwin / Libro elettronico Adobe ePub DRM
common.buy 17.19 €
Introduction to Social Dreaming W.Gordon Lawrence / Libro In brossura
common.buy 41.29 €
The Country of the Pointed Firs Sarah Orne Jewett / Libro In brossura
common.buy 5.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?