Logic for applications /

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