LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science / / Luca Aceto, Anna Ingólfsdóttir
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Aceto Luca
|
| Titolo: |
LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science / / Luca Aceto, Anna Ingólfsdóttir
|
| Pubblicazione: | Piscataway, New Jersey : , : IEEE, , 2017 |
| Descrizione fisica: | 1 online resource (1068 pages) |
| Disciplina: | 005.1015113 |
| Soggetto topico: | Computer logic |
| Computer programming | |
| Persona (resp. second.): | IngólfsdóttirAnna |
| Sommario/riassunto: | LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic. |
| Altri titoli varianti: | 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science |
| Titolo autorizzato: | LICS '17 |
| ISBN: | 1-5090-3018-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996278329403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |