Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Leeds international classical studies
| Leeds international classical studies |
| Pubbl/distr/stampa | [Leeds], : [Leeds University], 2002-2013 |
| Soggetto topico |
Classical antiquities
Classical philology |
| Soggetto genere / forma |
History
Periodicals. |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LICS |
| Record Nr. | UNINA-9910142919303321 |
| [Leeds], : [Leeds University], 2002-2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings / / Symposium on Logic in Computer Science
| Proceedings / / Symposium on Logic in Computer Science |
| Pubbl/distr/stampa | 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. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Logic in computer science
LICS |
| Record Nr. | UNISA-996278347603316 |
| Washington, D.C., : IEEE Computer Society Press, ©1986- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings / / Symposium on Logic in Computer Science
| Proceedings / / Symposium on Logic in Computer Science |
| Pubbl/distr/stampa | 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. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Logic in computer science
LICS |
| Record Nr. | UNINA-9910872742303321 |
| Washington, D.C., : IEEE Computer Society Press, ©1986- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||