Logic for applications /

Сохранить в:
Библиографические подробности
Главный автор: Nerode, Anil
Другие авторы: Shore, Richard A.
Формат:
Язык:английский
Опубликовано: New york : Springer-Verlag, 1997.
Редактирование:2nd ed.
Серии:Graduate texts in computer science
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!