Dynamic logic /

other_versions_link
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Harel, David
Άλλοι συγγραφείς: Kozen, Dexter ., Tiuryn, Jerzy .
Μορφή: Printed Book
Γλώσσα:English
Έκδοση: New Delhi : Prentice Hall of India , 2002.
Θέματα:
Mathamatical logic

Παρόμοια τεκμήρια