Dynamic logic /

other_versions_link
Библиографические подробности
Главный автор: Harel, David
Другие авторы: Kozen, Dexter ., Tiuryn, Jerzy .
Формат: Printed Book
Язык:English
Опубликовано: New Delhi : Prentice Hall of India , 2002.
Предметы:
Mathamatical logic

Схожие документы