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

Сохранить в:
Библиографические подробности
Главный автор: Sergei N. Artemov, Anil Nerode (edición)
Формат:
Язык:английский
Опубликовано: Berlín, Alemania : Springer, 2007, c2007
Серии:(Lecture Notes in Computer Science)
Online-ссылка:Ver documento en línea
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Описание
Объем:1 libro electrónico en línea (XII, 516 p.)
1 recurso en línea
ISBN:978-3-540-72734-7
ISSN:1611-3349
Доступ:Licencias ilimitadas