Dynamic logic /

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Harel, David
Övriga upphovsmän: Kozen, Dexter ., Tiuryn, Jerzy .
Materialtyp: Printed Book
Språk:English
Publicerad: New Delhi : Prentice Hall of India , 2002.
Ämnen:
Mathamatical logic

Liknande verk