يعرض 1 - 20 نتائج من 424 نتيجة بحث عن '"French, Tim"', وقت الاستعلام: 0.63s تنقيح النتائج
  1. 1
    Report

    المصدر: The undecidability of quantified announcements. Studia Logica, 104(4) pages 597-640, 2016

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

  2. 2
    Report
  3. 3
    Report
  4. 4
    Report
  5. 5
    Report
  6. 6
    Report
  7. 7
    Academic Journal

    المساهمون: Australian Government Research Training Program (RTP) Scholarship

    المصدر: IEEE Access ; volume 12, page 122029-122046 ; ISSN 2169-3536

  8. 8
    Report
  9. 9
    Report

    المصدر: Studia Logica 109(3): 639-681, 2021

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

  10. 10
    Academic Journal

    المصدر: Studia Logica: An International Journal for Symbolic Logic, 2021 Jun 01. 109(3), 639-681.

  11. 11
    Report

    المؤلفون: van Ditmarsch, Hans, French, Tim

    المصدر: Logical Methods in Computer Science, Volume 18, Issue 1 (January 21, 2022) lmcs:4147

  12. 12
    Report
  13. 13
    Report
  14. 14
    Academic Journal
  15. 15
    Academic Journal
  16. 16
  17. 17
    Academic Journal
  18. 18
    Academic Journal
  19. 19
    Report
  20. 20
    Academic Journal

    المصدر: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk & Reliability; Oct2024, Vol. 238 Issue 5, p920-932, 13p