Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Salvato in:
Dettagli Bibliografici
Autore principale: Sergei N. Artemov, Anil Nerode (edición)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlín, Alemania : Springer, 2007, c2007
Serie:(Lecture Notes in Computer Science)
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!