Automata logic and infinite games : a guide to current research

Збережено в:
Бібліографічні деталі
Автор: Gradel, Erich
Інші автори: Thomas, Wolfgang/Wilke, Thomas eds
Мова:Англійська
Опубліковано: Berlin Springer 2002
Предмети:
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!