1.

Record Nr.

UNISANNIONAP0395430

Autore

International workshop on logic program synthesis and transformation :  <1992

Titolo

Logic program synthesis and transformation : proceedings of LOPSTR 92, International workshop on logic program synthesis and transformation, University of Manchester, 2-3 July 1992 / Kung-Kiu Lau and Tim Clement, Eds. ; sponsored by the Association for logic programming and ALPUK

Pubbl/distr/stampa

London [etc.], : Springer-Verlag, c1993

ISBN

0387198067

3540198067

Descrizione fisica

XII, 270 p. ; 24 cm

Collana

Workshops in computing

Disciplina

005.1

005.115

Soggetti

Programmazione logica - Congressi - 1992

Collocazione

SALA DING 005.1                   IWOLPS

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Published in collaboration with the British computer society.