Spedizione gratuita per ordini superiori a 69,99 euro.
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 €
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Contatto
Come acquistare
Aiuto
Consegna
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Spedizione gratuita per ordini superiori a 69,99 euro.
Logical Frameworks
Lingua
Inglese
Inglese
Libro
Rigido
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....
Descrizione completa
Codice Libristo: 02030023
?
305 b
305 b
124.59
€
Magazzino esterno
Inviamo tra 9-15 giorni
30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
44.79
€
/
In brossura
16.89
€
/
In brossura
17.89
€
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
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
Logical Frameworks
Autore
Gerard HuetG. Plotkin
Lingua
Inglese
Inglese
Rilegatura
Libro - Rigido
Data di pubblicazione
1991
Numero di pagine
416
EAN
9780521413008
ISBN
0521413001
Codice Libristo
02030023
Casa editrice
Cambridge University Press
Peso
78
Dimensioni
152 x 229 x 27
