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.
Annals of pure and applied logic
| Annals of pure and applied logic |
| Pubbl/distr/stampa | Amsterdam, : North-Holland, c1983- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Wiskundige logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-2461 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996218050403316 |
| Amsterdam, : North-Holland, c1983- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Annals of pure and applied logic
| Annals of pure and applied logic |
| Pubbl/distr/stampa | Amsterdam, : North-Holland, c1983- |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Wiskundige logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-2461 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145766903321 |
| Amsterdam, : North-Holland, c1983- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Archive for mathematical logic
| Archive for mathematical logic |
| Pubbl/distr/stampa | Berlin, : Springer International |
| Descrizione fisica | online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Logique symbolique et mathématique Mathematische Logik Wiskundige logica Matemàtica |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1432-0665 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910147162003321 |
| Berlin, : Springer International | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of applied non-classical logics
| Journal of applied non-classical logics |
| Pubbl/distr/stampa | Paris : , : Hermès |
| Disciplina | 511.3 |
| Soggetto topico |
Logic
Wiskundige logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1958-5780 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Journal of applied nonclassical logics
JANCL |
| Record Nr. | UNISA-996211744003316 |
| Paris : , : Hermès | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal of applied non-classical logics
| Journal of applied non-classical logics |
| Pubbl/distr/stampa | Paris : , : Hermès |
| Disciplina | 511.3 |
| Soggetto topico |
Logic
Wiskundige logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1958-5780 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Journal of applied nonclassical logics
JANCL |
| Record Nr. | UNINA-9910231840703321 |
| Paris : , : Hermès | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of logic and algebraic programming
| The journal of logic and algebraic programming |
| Pubbl/distr/stampa | [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Logic programming
Computer programming Logic programming - Periodicals Programmation logique - Périodiques Programmation (Informatique) - Périodiques Programmation logique Programmation (Informatique) Wiskundige logica Software |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-5940 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | J. logic and algebraic programming |
| Record Nr. | UNINA-9910333149703321 |
| [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
