Vai al contenuto principale della pagina

Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / / Jacques Garrigue, Manuel Hermenegildo (editors)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Functional and logic programming : 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 : proceedings / / Jacques Garrigue, Manuel Hermenegildo (editors) Visualizza cluster
Pubblicazione: Berlin ; ; Heidelberg : , : Springer-Verlag, , [2008]
℗♭2008
Descrizione fisica: xi, 340p
Disciplina: 005.115
Soggetto topico: Logic programming
Persona (resp. second.): GarrigueJacques
HermenegildoManuel
Titolo autorizzato: Functional and Logic Programming  Visualizza cluster
ISBN: 3-540-78969-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910483616903321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science ; ; 4989.
Recent advances in constraints : 12th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2007 : Rocquencourt, France, June 7-8, 2007 : Revised selected papaers / François Fages, Francesca Rossi, Sylvain Soliman (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2007 : <12.; : <2007
Recent advances in constraints : 13th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2008 : Rome, Italy, june 18-20, 2009 : Revised selected papaers / Angelo Oddi...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2008 : <13.; : <2008
Recent advances in constraints : 11th Annual ERCIM international workshop on constraint solving and contraint logic programming, CSCLP 2006 : Caparica, Portugal, June 26-28, 2006 : Revised selected and invited papers / François Azevedo...[et al.] (Eds.)
International workshop on constraint solving and constraint logic programming, CSCLP 2006 : <11.; : 2006
Messaggi e comunicazioni : trasformazioni della simiglianze in programmazione logica / Oscar Bettelli
BETTELLI, Oscar
Recent advances in constraints : joint ERCIM/CoLogNet international workshop on constraint solving and constraint logic programming, CSCLP 2005 : Uppsala, Sweden, June 20-22, 2005 / Brahim Hnich... [et al.] (Eds.) : revised selected and invited papers
International workshop on constraint solving and constraint logic programming : <2005