Logical Foundations of Computer Science electronic resource : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / edited by Sergei Adian, Anil Nerode

Författare
LFCS ʾ97
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat