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 | ||
| ||
Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri)
| Adam Balsamiensis Parvipontani Ars disserendi (Dialectica Alexandri) |
| Autore | Minio-Paluello, Lorenzo |
| Pubbl/distr/stampa | Roma : Edizioni di storia e letteratura, 1956 |
| Descrizione fisica | XXXVII, 155 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Twelfth century logic ; 1 |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | lat |
| Record Nr. | UNISALENTO-991001203179707536 |
Minio-Paluello, Lorenzo
|
||
| Roma : Edizioni di storia e letteratura, 1956 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen
| Alan Turing : his work and impact / edited by S. Barry Cooper and J. van Leeuwen |
| Pubbl/distr/stampa | Amsterdam ; Boston, : Elsevier, 2013 |
| Descrizione fisica | Testo elettronico (PDF) (944 p.) |
| Disciplina | 510.92 |
| Altri autori (Persone) |
COOPER, S. Barry
LEEUWEN, Jan van |
| Soggetto topico | Logica |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996457953503316 |
| Amsterdam ; Boston, : Elsevier, 2013 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebra and logic
| Algebra and logic |
| Pubbl/distr/stampa | [New York, N.Y.], : Plenum Pub |
| Disciplina | 511.324 |
| Soggetto topico |
Algebraic logic
Algebra Logic, Symbolic and mathematical Logique algébrique Algèbre Logic Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1573-8302 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141124203321 |
| [New York, N.Y.], : Plenum Pub | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebra and logic
| Algebra and logic |
| Pubbl/distr/stampa | [New York, N.Y.], : Plenum Pub |
| Disciplina | 511.324 |
| Soggetto topico |
Algebraic logic
Algebra Logic, Symbolic and mathematical Logique algébrique Algèbre Logic Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1573-8302 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996215985703316 |
| [New York, N.Y.], : Plenum Pub | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analisi automatica dei testi giuridici : logica, informatica, diritto / Istituto per la documentazione giuridica del Consiglio Nazionale delle Ricerche ; a cura di Antonio A. Martino, Fiorenza Socci Natali
| Analisi automatica dei testi giuridici : logica, informatica, diritto / Istituto per la documentazione giuridica del Consiglio Nazionale delle Ricerche ; a cura di Antonio A. Martino, Fiorenza Socci Natali |
| Autore | Istituto per la documentazione giuridica |
| Pubbl/distr/stampa | Milano : Giuffrè, 1988 [stampa] |
| Descrizione fisica | 1158 |
| Disciplina | 340 |
| Altri autori (Persone) |
Martino, Antonio A.
Socci Natali, Fiorenza |
| Soggetto topico |
Diritto
Informatica Logica |
| ISBN | 8814016178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001945149707536 |
|
Istituto per la documentazione giuridica
|
||
| Milano : Giuffrè, 1988 [stampa] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Le antinomie semantiche nella logica medievale / Francesco Bottin
| Le antinomie semantiche nella logica medievale / Francesco Bottin |
| Autore | Bottin, Francesco |
| Pubbl/distr/stampa | Padova : Antenore, 1976 |
| Descrizione fisica | 222 p. ; 20 cm. |
| Collana | Università di Padova. Pubblicazioni dell'Istituto di storia della filosofia e del Centro per ricerche di filosofia medioevale ; 23 |
| Soggetto topico |
Filosofia medioevale
Logica Semantica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991001983959707536 |
|
Bottin, Francesco
|
||
| Padova : Antenore, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Applied logic / Kaj Børge Hansen
| Applied logic / Kaj Børge Hansen |
| Autore | Hansen, Kaj Børge |
| Pubbl/distr/stampa | Uppsala : [s.n.], 1996 |
| Descrizione fisica | 257 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Acta universitatis upsaliensis. Studia philosophica upsaliensia ; 3 |
| Soggetto topico |
Logica
Filosofia |
| ISBN | 9155438458 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002542739707536 |
|
Hansen, Kaj Børge
|
||
| Uppsala : [s.n.], 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Argumentation et discourse scientifique / Laurent Danon-Boileau ... [et al.]
| Argumentation et discourse scientifique / Laurent Danon-Boileau ... [et al.] |
| Pubbl/distr/stampa | Paris : Didier-Larousse, 1976 |
| Descrizione fisica | 123 p. ; 23 cm |
| Disciplina | 160 |
| Altri autori (Persone) | Danon Boileau, Laurentauthor |
| Collana | Langages ; 42 |
| Soggetto topico | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991000122309707536 |
| Paris : Didier-Larousse, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Logica
(469)
- Linguaggio (14)
- Semantica (10)
- Epistemologia (9)
- Metafisica (9)