Vai al contenuto principale della pagina

Computer Science Logic [Risorsa elettronica] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Computer Science Logic [Risorsa elettronica] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong Visualizza cluster
Pubblicazione: Berlin ; Heidelberg : Springer, 2005
Persona (resp. second.): Ong, Luke
Type File/ Data Note: Formato html, pdf
Requisiti sistema: Formato html, pdf
Titolo autorizzato: Computer Science Logic  Visualizza cluster
ISBN: 9783540318972
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990009247910403321
Lo trovi qui: Univ. Federico II
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/11538363
Opac: Controlla la disponibilità qui