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.
Combinatorial functors / by Crossley and Nerode
| Combinatorial functors / by Crossley and Nerode |
| Autore | Crossley, John Newsome |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1974 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001142480403321 |
Crossley, John Newsome
|
||
| Berlin [etc.] : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Combinatorial functors / J. N. Crossley, Anil Nerode
| Combinatorial functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, J. N. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1974 |
| Descrizione fisica | VIII, 146 p. ; 25 cm. |
| Disciplina | 512.55 |
| Altri autori (Persone) | Nerode, Anil |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Soggetto topico | Analisi combinatoria |
| ISBN | 3-540-06428-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015620 |
|
Crossley, J. N.
|
||
| Berlin [etc.] : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
| Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
| Autore | Homer, Steven |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1990 |
| Descrizione fisica | 162 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Nerode, Anil
Platek, Richard A. Sacks, Gerald E. Scedrov, Andre Odifreddi, Piergiorgio |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1429 |
| Soggetto topico |
Computer science - Congresses
Logic - Congresses |
| ISBN | 3540527346 |
| Classificazione |
AMS 03B20
AMS 03B40 AMS 03B70 AMS 03D15 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991001093939707536 |
|
Homer, Steven
|
||
| Berlin : Springer-Verlag, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic programming and non-monotonic reasoning : proceedings of the first international workshop held July 1991, Washington D.C. / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
| Logic programming and non-monotonic reasoning : proceedings of the first international workshop held July 1991, Washington D.C. / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian |
| Pubbl/distr/stampa | Cambridge, Mass. : MIT Press, 1991 |
| Descrizione fisica | vi, 288 p. ; 23 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-262-64027-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001029200403321 |
| Cambridge, Mass. : MIT Press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations of computer science : third International symposium LFCS'94 : St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode (ed.)
| Logical foundations of computer science : third International symposium LFCS'94 : St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode (ed.) |
| Autore | International symposium LFCS'94 : 3. : 1994 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1994 |
| Descrizione fisica | IX, 392 p. : ill. ; 24 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - st. petersburg - 1994
linguaggi di programmazione - congressi - 1994 logica matematica - congressi - 1994 |
| ISBN | 3-540-58140-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000204350203316 |
|
International symposium LFCS'94 : 3. : 1994
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Foundations of Computer Science [Risorsa elettronica] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sergei Artemov, Anil Nerode
| Logical Foundations of Computer Science [Risorsa elettronica] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sergei Artemov, Anil Nerode |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540926870 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258890403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical Foundations of Computer Science [Risorsa elettronica] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode
| Logical Foundations of Computer Science [Risorsa elettronica] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540727347 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009244580403321 |
| Berlin ; Heidelberg : Springer, 2007 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations of computer science : Tver'92 : Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode (ed.)
| Logical foundations of computer science : Tver'92 : Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | IX, 514 p. : ill. ; 25 cm |
| Disciplina | 005131 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - tver - 1992
linguaggi di programmazione - congressi - 1990 logica matematica - congressi - 1992 |
| ISBN | 3-540-55707-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000202740203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||