Vai al contenuto principale della pagina

Logic program synthesis and transformation - meta programming in logic : 4th International workshops : Pisa, Italy, June 20-21, 1994 : Proceedings / Laurent Fribourg, Franco Turini (eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Logic program synthesis and transformation - meta programming in logic : 4th International workshops : Pisa, Italy, June 20-21, 1994 : Proceedings / Laurent Fribourg, Franco Turini (eds.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer-Verlag, copyr. 1994
Descrizione fisica: IX, 450 p. : ill. ; 24 cm.
Disciplina: 0051
Soggetto non controllato: congressi - pisa - 1994
elaboratori elettronici - programmazione - congressi - 1994
logica matematica - congressi - 1994
Persona (resp. second.): Fribourg, Laurent
Turini, Franco
Titolo autorizzato: Logic program synthesis and transformation - meta programming in logic  Visualizza cluster
ISBN: 3-540-58792-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000210760203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS (883)
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui