top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui