Scheda: 6/27 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Brogi, Antonio <informatico> |
Titolo | Compositional model-theoretic semantics for logic programs / A. Brogi, E. Lamma, P. Mello |
Pubblicazione | Pisa : Universita degli Studi, Dipartimento di Informatica, 1991 |
Descrizione fisica | 17 p. ; 20 cm. |
Collezione | TR / Università degli studi di Pisa, Dipartimento di informatica (ID Collana : CFI0390631) |
Lingua di pubblicazione | eng |
Paese di pubblicazione | it |
Nomi | [Autore] Brogi, Antonio <informatico>
Lamma, Evelina <1960- > [ scheda di autorità ] Mello, Antonio [ scheda di autorità ] |
Forme varianti dei nomi | Brogi , A. <informatico> -> Brogi, Antonio <informatico> |
Identificativo record | PIS0008391 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | COLL.UNIV.Pisa 11 8/91 | 000269232 | COMPOSITional | consultazione, prestito, fotoriproduzione Servizi |