Computer Science Logic [Risorsa elettronica] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540454595 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009242550403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of Computation Theory [Risorsa elettronica] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings / edited by Erzsébet Csuhaj-Varjú, Zoltán Ésik |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2007 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540742401 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009247630403321 |
Berlin ; Heidelberg : Springer, 2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|