Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2009
Preface
-
Nerode A.,
Artemov S.
-
в сборнике Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197), том 5407, с. VI
-
редактор
Артемов Сергей Николаевич