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 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Science Logic

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Computer Science Logic Egon Börger
Codice Libristo: 05274407
Casa editrice Springer, Berlin, novembre 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

One Piece 109 Eiichiro Oda / Libro In brossura
common.buy 7.89 €
Gouverner le social par le religieux Faure / Libro In brossura
common.buy 35.59 €
Tiamatin hněv James S. A. Corey / Libro In brossura
common.buy 16.89 €
Kabala Pro Zacatecniky Michael Laitman / Libro In brossura
common.buy 20.49 €
Le journal de ma vie Kate Clayborn / Libro In brossura
common.buy 26.09 €
Harakiri - The Masters of Cinema Series Masaki Kobayashi / Video Blu-ray
common.buy 15.79 €
Programació lineal / Libro In brossura
common.buy 16.49 €
Agenda Mindenensis dioecesis Carl von Reifitz / Libro In brossura
common.buy 61.69 €
Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat / Libro In brossura
common.buy 109.99 €
Spuk Ernst Kallmeyer / Libro In brossura
common.buy 23.39 €

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

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 Computer Science Logic
Autore Egon Börger, Yuri Gurevich, Karl Meinke
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1994
Numero di pagine 336
EAN 9783540582779
ISBN 3540582770
Codice Libristo 05274407
Casa editrice Springer, Berlin
Peso 466
Dimensioni 216 x 279 x 18

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 > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
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 > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
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

Beastly Armor: Military Defenses Inspired by Animals Charles C. Hofer / Libro In brossura
common.buy 8.09 €
Essential Epicurus Epicurus / Libro In brossura
common.buy 12.09 €
In Exile and Other Stories Mary Hallock Foote / Libro In brossura
common.buy 16.89 €
From Ducatus to Regnum: Ruling Bavaria Under the Merovingians and Early Carolingians Carl I. Hammer / Libro In brossura
common.buy 78.89 €
My Korean Identity and Quest for Understanding Michael Chon / Libro In brossura
common.buy 32.89 €
Noel Coward Screenplays Noel Coward / Libro Rigido
common.buy 150.99 €
Corporate Asset Don Easton / Libro In brossura
common.buy 10.39 €
Defiant M. Quint / Libro Rigido
common.buy 18.39 €
Developing Community Mental Health Services Grainne Fadden / Libro In brossura
common.buy 19.29 €
Demonic Visions 50 Horror Tales Book 5 Rob Smales / Libro In brossura
common.buy 11.19 €
English for International Journalists Mike Gandon / Libro In brossura
common.buy 65.89 €

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