Proceedings / / Symposium on Logic in Computer Science
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Proceedings / / Symposium on Logic in Computer Science
|
| Pubblicazione: | Washington, D.C., : IEEE Computer Society Press, ©1986- |
| Disciplina: | 004/.01/5113 |
| Soggetto topico: | Electronic data processing |
| Computer programming | |
| Logic, Symbolic and mathematical | |
| Computer programs - Correctness | |
| Logiciels - Exactitude | |
| Logique symbolique et mathématique | |
| Programmation (Informatique) | |
| Informatica | |
| Logica | |
| Soggetto genere / forma: | Periodicals. |
| Conference papers and proceedings. | |
| Note generali: | Published: Los Alamitos, CA, 1990- |
| Titolo abbreviato (Periodici): | SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE |
| Proc. - Symp. Logic Comput. Sci. | |
| Altri titoli varianti: | Logic in computer science |
| LICS | |
| Titolo autorizzato: | Proceedings |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910872742303321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |