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. | UNISA-996215883003316 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Archiv für mathematische Logik und Grundlagenforschung
| Archiv für mathematische Logik und Grundlagenforschung |
| Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
| Descrizione fisica | 1 online resource |
| Disciplina | 510/.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| Soggetto non controllato | Mathematische Logik |
| ISSN | 0003-9268 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-996200952403316 |
| Stuttgart, : W. Kohlhammer, 1950-1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Archiv für mathematische Logik und Grundlagenforschung
| Archiv für mathematische Logik und Grundlagenforschung |
| Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
| Descrizione fisica | 1 online resource |
| Disciplina | 510/.5 |
| Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| ISSN | 0003-9268 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910139641703321 |
| Stuttgart, : W. Kohlhammer, 1950-1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bulletin of the Section of Logic
| Bulletin of the Section of Logic |
| Pubbl/distr/stampa | Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.305 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical - Societies, etc Logic Logique Logique symbolique et mathématique Logique symbolique et mathématique - Associations |
| Soggetto genere / forma | Periodicals. |
| ISSN | 2449-836X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | BSL |
| Record Nr. | UNISA-996331550203316 |
| Wrocław, : Polish Academy of Sciences, Institute of Philosophy and Sociology, 1972- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lecture notes in logic
| Lecture notes in logic |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 1993- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218069903316 |
| Berlin ; ; New York, : Springer-Verlag, 1993- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lecture notes in logic
| Lecture notes in logic |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, 1993- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910146563003321 |
| Berlin ; ; New York, : Springer-Verlag, 1993- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica universalis
| Logica universalis |
| Pubbl/distr/stampa | Basel, : Birkhäuser, ©2007- |
| Disciplina | QA9 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Universelle Logik |
| Soggetto genere / forma |
Periodical
periodicals. Periodicals. Périodiques. |
| Soggetto non controllato |
wiskunde
mathematics mathematische logica mathematical logic logica logic Mathematics (General) Wiskunde (algemeen) |
| ISSN | 1661-8300 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | LU |
| Record Nr. | UNISA-996218774003316 |
| Basel, : Birkhäuser, ©2007- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical morphology - theory and applications
| Mathematical morphology - theory and applications |
| Pubbl/distr/stampa | Warsaw, Poland : , : De Gruyter Open |
| Descrizione fisica | 1 online resource |
| Disciplina | 510 |
| Soggetto topico |
Image processing - Mathematics
Signal processing - Mathematics Digital filters (Mathematics) Logic, Symbolic and mathematical Traitement d'images - Mathématiques Traitement du signal - Mathématiques Filtres numériques (Mathématiques) Logique symbolique et mathématique |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| ISSN | 2353-3390 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Theory and applications |
| Record Nr. | UNISA-996364148903316 |
| Warsaw, Poland : , : De Gruyter Open | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical morphology - theory and applications
| Mathematical morphology - theory and applications |
| Pubbl/distr/stampa | Warsaw, Poland : , : De Gruyter Open |
| Descrizione fisica | 1 online resource |
| Disciplina | 510 |
| Soggetto topico |
Image processing - Mathematics
Signal processing - Mathematics Digital filters (Mathematics) Logic, Symbolic and mathematical Traitement d'images - Mathématiques Traitement du signal - Mathématiques Filtres numériques (Mathématiques) Logique symbolique et mathématique |
| Soggetto genere / forma |
Periodicals.
Zeitschrift |
| ISSN | 2353-3390 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Theory and applications |
| Record Nr. | UNINA-9910257338003321 |
| Warsaw, Poland : , : De Gruyter Open | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metalogicon : rivista internazionale di logica pura e applicata di linguistica e di filosofia
| Metalogicon : rivista internazionale di logica pura e applicata di linguistica e di filosofia |
| Pubbl/distr/stampa | Napoli, : L.E.R., [1988]- |
| Descrizione fisica | 1 online resource |
| Disciplina | 160/.5 |
| Soggetto topico |
Logic
Philosophy Linguistics Logic, Symbolic and mathematical filozófia - logika - periodika nyelvfilozófia - periodika periodika Logique symbolique et mathématique Linguistique Philosophie Logica Filosofie Taalwetenschap |
| Soggetto genere / forma | Periodicals. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910892930903321 |
| Napoli, : L.E.R., [1988]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Logic, Symbolic and mathematical (15)
-
Logique symbolique et mathématique
(15)
- Logica (4)
- Informatica (3)
- Logic (3)