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

Algebraic and Logic Programming

Lingua IngleseInglese
Libro In brossura
Libro Algebraic and Logic Programming Giorgio Levi
Codice Libristo: 05274425
Casa editrice Springer, Berlin, novembre 1993
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logi... 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


SVENDITA
Skip-Bo Deluxe / Gioco
common.buy 36.92
Der reichste Mann der Weltgeschichte Greg Steinmetz / Rigido
common.buy 26.00
Body of the Organisation and its Health Richard Morgan-Jones / In brossura
common.buy 59.93
199 Pre-Written Employee Performance Appraisals Anne Arthur / In brossura
common.buy 29.32
Chicano Authors Juan Bruce-Novoa / In brossura
common.buy 44.63
Simian Viruses / Rhinoviruses D. Tyrrell / In brossura
common.buy 72.67
Charlemont William Gilmore Simms / In brossura
common.buy 65.61
Building the Next American Century Kent H. Hughes / Rigido
common.buy 54.90
Approaches to Political Thought William L. Richter / Rigido
common.buy 236.02

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo