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 Recursive Introduction to the Theory of Computation / Carl H. Smith
| A Recursive Introduction to the Theory of Computation / Carl H. Smith |
| Autore | Smith, Carl H. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1994 |
| Disciplina | 510.78 |
| Collana | Graduate texts in computer science |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| ISBN | 0-387-94332-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001120070403321 |
Smith, Carl H.
|
||
| New York : Springer-Verlag, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Learning and geometry : computational approaches / David Kueker, Karl Smith editors
| Learning and geometry : computational approaches / David Kueker, Karl Smith editors |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | Boston : Birkhauser, 1996 |
| Descrizione fisica | xiii, 210 p. ; 26 cm. |
| Disciplina | 516 |
| Altri autori (Persone) | Smith, Carl H. |
| Collana | Progress in computer science and applied logic ; 14 |
| Soggetto topico | Geometry - Congresses |
| ISBN | 0817638253 |
| Classificazione |
AMS 51-06
AMS 51-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001059939707536 |
|
Kueker, David W.
|
||
| Boston : Birkhauser, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
| Mathematical Logic and Theoretical Computer Science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith |
| Autore | Kueker, David W. |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1987 |
| Descrizione fisica | xviii, 383 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-8247-7746-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001093780403321 |
|
Kueker, David W.
|
||
| New York [etc.] : Marcel Dekker, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith
| Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1987 |
| Descrizione fisica | XVIII, 383 p. ; 26 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto topico |
Logica matematica
Algebra Elaborazione elettronica |
| ISBN | 0-8247-7746-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015971 |
| New York [etc.] : Marcel Dekker, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
A recursive introduction to the theory of computation / Carl H. Smith
| A recursive introduction to the theory of computation / Carl H. Smith |
| Autore | Smith, Carl H. |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1994 |
| Descrizione fisica | 148 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Graduate texts in computer science |
| Soggetto topico |
Electronic digital computers-programming
Recursive functions-data processing |
| ISBN | 0387943323 |
| Classificazione |
AMS 03D
AMS 68Q QA76.6.S61547 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001291569707536 |
|
Smith, Carl H.
|
||
| New York : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
T. S. Eliot's Dramatic Theory and Practice : from Sweeney Agonistes to the Elder Statesman / by Carol H. Smith
| T. S. Eliot's Dramatic Theory and Practice : from Sweeney Agonistes to the Elder Statesman / by Carol H. Smith |
| Autore | Smith, Carl H. |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, 1963 |
| Descrizione fisica | IX, 251 p. ; 22 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990004905320403321 |
|
Smith, Carl H.
|
||
| Princeton, : Princeton University Press, 1963 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||