| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910872742303321 |
|
|
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. |
UNINA9910143805603321 |
|
|
Titolo |
Big bridge |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Pacifica, CA, : Big Bridge Press |
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
American poetry - 20th century |
American poetry |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
| |