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.
A Course in mathematical logic / Yu I Manin
| A Course in mathematical logic / Yu I Manin |
| Autore | Manin, Yuri I |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, copyr. 1977 |
| Descrizione fisica | XIII, 286 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Graduate texts in mathematics |
| Soggetto non controllato |
logica matematica
logica simbolica |
| ISBN | 0-387-90243-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000194840203316 |
Manin, Yuri I
|
||
| New York [etc.], : Springer-Verlag, copyr. 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli
| Computability : computable functions, logic and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli |
| Autore | Epstein, Richard L. |
| Pubbl/distr/stampa | Pacific Grove (Calif.) : Wadsworth& Brooks, copyr. 1989 |
| Disciplina | 511.3 |
| Soggetto non controllato |
funzioni computabili
logica matematica logica simbolica |
| ISBN | 0-534-10356-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000143350203316 |
|
Epstein, Richard L.
|
||
| Pacific Grove (Calif.) : Wadsworth& Brooks, copyr. 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Equational logic as a programming language / Michael J. O'Donnell
| Equational logic as a programming language / Michael J. O'Donnell |
| Autore | O'Donnell, Michael J. |
| Pubbl/distr/stampa | Cambrdige (Mass.) ; London (England) : MIT Press, copyr. 1986 |
| Disciplina | 005.131 |
| Soggetto non controllato |
linguaggi di programmazione
logica matematica logica simbolica |
| ISBN | 0-262-15028-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000149620203316 |
|
O'Donnell, Michael J.
|
||
| Cambrdige (Mass.) ; London (England) : MIT Press, copyr. 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
| Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier |
| Autore | Gallier, Jean H. |
| Pubbl/distr/stampa | New York [etc.] : John Wiley & Sons, copyr. 1987 |
| Disciplina | 511.3 |
| Soggetto non controllato | logica simbolica |
| ISBN | 0-471-61546-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000160610203316 |
|
Gallier, Jean H.
|
||
| New York [etc.] : John Wiley & Sons, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic of domains / Guo-Qiang Zhang
| Logic of domains / Guo-Qiang Zhang |
| Autore | Zhang, Guo-Qiang |
| Pubbl/distr/stampa | Bristol [etc.] : Birkauser, 1991 |
| Disciplina | 005.13 |
| Soggetto non controllato |
linguaggi di programmazione semantica
logica matematica logica simbolica |
| ISBN | 3-7643-3570-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000160650203316 |
|
Zhang, Guo-Qiang
|
||
| Bristol [etc.] : Birkauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical logic for computer science / M. Ben-Ari
| Mathematical logic for computer science / M. Ben-Ari |
| Autore | Ben_Ari, M. |
| Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1993 |
| Descrizione fisica | XI, 305 p. : ill. ; 24 cm |
| Disciplina | 5113 |
| Collana | Prentice Hall international seriesin computer science |
| Soggetto non controllato |
logica matematica
logica simbolica |
| ISBN | 0-13-564139-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000228260203316 |
|
Ben_Ari, M.
|
||
| New York [etc.] : Prentice Hall, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz
| Schaum's outline of theory and problems of discrete mathematics / Seymour Lipschutz |
| Autore | Lipschutz, Seymour |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, copyr. 1976 |
| Descrizione fisica | 249 p. : ill. ; 28 cm. |
| Disciplina | 51102 |
| Collana | Schaum's outline series |
| Soggetto non controllato |
algebra
analisi combinatoria logica matematica logica simbolica |
| ISBN | 0-07-037981-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000232710203316 |
|
Lipschutz, Seymour
|
||
| New York [etc.] : McGraw-Hill, copyr. 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The logic of information structures / Heinrich Wansing
| The logic of information structures / Heinrich Wansing |
| Autore | Wansing, Heinrich |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1993 |
| Descrizione fisica | IX, 163 p. : ill. ; 24 cm |
| Disciplina | 004 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
elaboratori elettronici
intelligenza artificiale logica matematica logica simbolica |
| ISBN | 3-540-56734-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000201840203316 |
|
Wansing, Heinrich
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The logic of partial information / Areski Nait Abadallah
| The logic of partial information / Areski Nait Abadallah |
| Autore | Nait Abadallah, Areski |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1995 |
| Disciplina | 005.131 |
| Soggetto non controllato |
linguaggi di programmazione modelli mate
logica simbolica |
| ISBN | 3-540-56583-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000160660203316 |
|
Nait Abadallah, Areski
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Vivid logic : knowledge-based reasoning with twokinds of negation / Gerd Wagner
| Vivid logic : knowledge-based reasoning with twokinds of negation / Gerd Wagner |
| Autore | Wagner, Gerd |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | XII, 148 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
logica matematica
logica simbolica |
| ISBN | 3-540-57604-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200770203316 |
|
Wagner, Gerd
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||