| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996278347603316 |
|
|
Titolo |
Proceedings / / Symposium on Logic in Computer Science |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : IEEE Computer Society Press, ©1986- |
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic data processing |
Computer programming |
Logic, Symbolic and mathematical |
Computer programs - Correctness |
Logiciels - Exactitude |
Logique symbolique et mathématique |
Programmation (Informatique) |
Informatica |
Logica |
Periodicals. |
Conference papers and proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
Published: Los Alamitos, CA, 1990- |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISALENTO991001014089707536 |
|
|
Autore |
Seale, Clive |
|
|
Titolo |
Constructing death : the sociology of dying and bereavement / Clive Seale |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, England ; New York : Cambridge University Press, 1998 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes bibliographical references and index. |
|
|
|
|
|
| |