تحميل...

Dynamic logic /

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Harel, David
مؤلفون آخرون: Kozen, Dexter ., Tiuryn, Jerzy .
التنسيق: Printed Book
اللغة:English
منشور في: New Delhi : Prentice Hall of India , 2002.
الموضوعات: