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

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Sergei N. Artemov, Anil Nerode (edición)
Format: Knjiga
Jezik:angleščina
Izdano: Berlín, Alemania : Springer, 2007, c2007
Serija:(Lecture Notes in Computer Science)
Online dostop:Ver documento en línea
Oznake: Označite
Brez oznak, prvi označite!