Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

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 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561020
Price: 53.79 EUR
Availability: InStock
Author: Joe Hurd
ISBN: 9783540283720

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Joe Hurd

Tom Melham

Lingua

Inglese

Libro In brossura

Codice Libristo: 01561020

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Provi... Descrizione completa

Codice Libristo: 01561020

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez

In brossura

51.19 €

Plan Cclico de Formación Juvenil vol I I I MATAIX

Libro

2.49 €

Künstlerroman Friedrich Wilhelm Hackländer

Rigido

65.19 €

Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J

In brossura

38.79 €

Blackout Island Sigrí?ur Hagalín Björnsdóttir

In brossura

9.59 €

Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins

In brossura

15.09 €

Kibali David Kyeu

In brossura

12.09 €

Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu

In brossura

35.49 €

Tierzuchtgesetz (TierZG) Sarastro Gmbh

In brossura

8.49 €

dunkle Tor ins Licht Christine Hagia

In brossura

15.99 €

Bologna und Emilia Romagna Carl W. Macke

Rigido

20.69 €

Der blaue Himmel Galsan Tschinag

In brossura

11.39 €

Utopia Thomas Morus

In brossura

10.89 €

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

Attrice & Poliglotta

EWA KASP per

Riproduci video

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 Joe Hurd, Tom Melham

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2005

Numero di pagine 414

EAN 9783540283720

ISBN 3540283722

Codice Libristo 01561020

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 1310

Dimensioni 155 x 235 x 23

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 > 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

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

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

German Influence on Australian English Markus Bieswanger

In brossura

48.59 €

Bioethics of Pain Management Daniel S. Goldberg

Rigido

242.59 €

WILDER GIRLS POWER RORY

In brossura

17.49 €

The Book of My Life: de Vita Propria Liber Jerome Cardan

In brossura

37.69 €

The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman

In brossura

19.19 €

Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi

In brossura

19.19 €

Bucking the Sun Ivan Doig

In brossura

16.49 €

The Stranger You Know Jane Casey

In brossura

21.19 €

VMware vSphere 5.1 Cookbook Abhilash GB

In brossura

58.29 €

Tinsel Devney Perry

In brossura

19.09 €

Classical Associations of Places in Italy (1921) Frances Ellis Sabin

In brossura

43.59 €

Osprey Emily Ever

In brossura

16.89 €

Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe

In brossura

27.89 €