يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Kozen, Dexter 1951-', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    Dynamic logic حسب Harel, David 1950-, Kozen, Dexter 1951-, Tiuryn, Jerzy

    منشور في 2000
    Click here to access thru EZproxy
    Click here to access
    Electronic Resource

    Dynamic logic

أدوات البحث: