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 | ||
| ||
A proof theory for general unification / Wagner Snyder
| A proof theory for general unification / Wagner Snyder |
| Autore | Snyder, Wagner |
| Pubbl/distr/stampa | Boston [etc.] : Birkauser, 1991 |
| Disciplina | 511.3 |
| Collana | Progress in computer science |
| Soggetto non controllato | logica matematica |
| ISBN | 0-8176-3593-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000125810203316 |
|
Snyder, Wagner
|
||
| Boston [etc.] : Birkauser, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic methods II : theory, tools and applications / J. A. Bergstra (ed.)
| Algebraic methods II : theory, tools and applications / J. A. Bergstra (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
| Descrizione fisica | VI, 434 p. : ill. ; 25 cm |
| Disciplina | 0051 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
elaboratori elettronici - programmazione
logica matematica software - progettazione |
| ISBN | 3-540-53912-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204990203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic system specification anddevelopment / M. Bidoit (ed.)
| Algebraic system specification anddevelopment / M. Bidoit (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1991 |
| Descrizione fisica | VIII, 98 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
logica matematica
modelli matematici software - progettazione |
| ISBN | 3-540-54060-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202680203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Axioms and hulls / D. E. Knuth
| Axioms and hulls / D. E. Knuth |
| Autore | Knuth, Donald E. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | VII, 109 p. : ill. ; 25 cm |
| Disciplina | 5113 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | logica matematica |
| ISBN | 3-540-55611-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203210203316 |
|
Knuth, Donald E.
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| 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 | ||
| ||
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
| Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann |
| Autore | Hermes, Hans |
| Edizione | [2nd revised ed] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1969 |
| Descrizione fisica | X, 245 p. ; 24 cm |
| Disciplina | 515 |
| Collana | Die Grundlehren der mathematischenwissenschaften |
| Soggetto non controllato |
analisi matematica
logica matematica modelli matematici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000196020203316 |
|
Hermes, Hans
|
||
| Berlin [etc.], : Springer-Verlag, 1969 | ||
| 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 | ||
| ||
Essentials of fuzzy modeling and control / Ronald R. Yager, Dimitar P. Filev
| Essentials of fuzzy modeling and control / Ronald R. Yager, Dimitar P. Filev |
| Autore | Yager, Ronald R. |
| Pubbl/distr/stampa | New York [etc.] : John Wiley & Sons, copyr.1994 |
| Descrizione fisica | XVI, 388 p. : ill. ; 24 cm |
| Disciplina | 629.831 2 |
| Soggetto non controllato |
insiemi
logica matematica teoria del controllo |
| ISBN | 0-471-01761-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000251190203316 |
|
Yager, Ronald R.
|
||
| New York [etc.] : John Wiley & Sons, copyr.1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman
| Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman |
| Autore | Hopcroft, John E. |
| Pubbl/distr/stampa | Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1969 |
| Descrizione fisica | X, 242 p. : ill. ; 23 cm |
| Disciplina | 5113 |
| Collana | Addison-Wesley series in computer science and information processing |
| Soggetto non controllato |
linguaggi formali
logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000100290203316 |
|
Hopcroft, John E.
|
||
| Reading (Mass.) [etc.] : Addison-Wesley, copyr. 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
