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.
ACM transactions on computational logic
| ACM transactions on computational logic |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery |
| Disciplina | 004 |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computer science - Mathematics Logique informatique Logique symbolique et mathématique Informatique - Mathématiques Informatica Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-945X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on computational logic
Computational logic Transactions on computational logic TOCL |
| Record Nr. | UNINA-9910134503403321 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM transactions on computational logic
| ACM transactions on computational logic |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery |
| Disciplina | 004 |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computer science - Mathematics Logique informatique Logique symbolique et mathématique Informatique - Mathématiques Informatica Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-945X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on computational logic
Computational logic Transactions on computational logic TOCL |
| Record Nr. | UNISA-996215883003316 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical methods in computer science : LMCS
| Logical methods in computer science : LMCS |
| Pubbl/distr/stampa | Braunschweig, Germany, : Technical University of Braunschweig |
| Soggetto topico |
Computer logic
Computer science Informatique Logique informatique |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LMCS |
| Record Nr. | UNINA-9910146783003321 |
| Braunschweig, Germany, : Technical University of Braunschweig | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical methods in computer science : LMCS
| Logical methods in computer science : LMCS |
| Pubbl/distr/stampa | Braunschweig, Germany, : Technical University of Braunschweig |
| Soggetto topico |
Computer logic
Computer science Informatique Logique informatique |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LMCS |
| Record Nr. | UNISA-996217247503316 |
| Braunschweig, Germany, : Technical University of Braunschweig | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
