Dynamic logic /

other_versions_link
מידע ביבליוגרפי
מחבר ראשי: Harel, David
מחברים אחרים: Kozen, Dexter ., Tiuryn, Jerzy .
פורמט: Printed Book
שפה:English
יצא לאור: New Delhi : Prentice Hall of India , 2002.
נושאים:
Mathamatical logic

פריטים דומים