[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Computer Science Logic

Lingua IngleseInglese
Libro In brossura
Libro Computer Science Logic Hans Kleine Buening
Codice Libristo: 05274587
Casa editrice Springer, Berlin, novembre 1995
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Asphalt Tribe Morton Rhue / In brossura
common.buy 9.62 €
Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand / CD audio
common.buy 10.69 €
Botanical Medicine in Clinical Practice / Rigido
common.buy 388.34 €
Chicana and Chicano Art Carlos Francisco Jackson / In brossura
common.buy 34.78 €
Being Modern in Iran Fariba Adelkhah / Rigido
common.buy 49.66 €
IN PREPARAZIONE
Augustine Gillian Clark / Rigido
common.buy 147.92 €
Handbook of Colorectal Surgery David Beck / Rigido
common.buy 140.75 €
Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller / In brossura
common.buy 71.71 €
besten und verrucktesten Kneipen-Namen Dieter Auer / In brossura
common.buy 22.15 €
1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain / In brossura
common.buy 29.21 €
Der Draufgänger, 1 DVD Willy Zeunert / DVD
common.buy 22.79 €
Conversations with Erskine Caldwell Edwin T. Arnold / In brossura
common.buy 44.63 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Informazioni sul libro

Titolo completo Computer Science Logic
Autore Hans Kleine Buening
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 492
EAN 9783540613770
ISBN 3540613773
Codice Libristo 05274587
Casa editrice Springer, Berlin
Peso 659
Dimensioni 156 x 234 x 25

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 > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

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