Skip to main navigation Skip to search Skip to main content

Tuturial on Reasoning and Programming with Dynamic Logic

  • Jan van Eijck (Invited speaker)

Activity: Talk or presentation › Invited talk › Popular

Period8 Apr 2000
Event titleEEF Foundations School Deduction and Theorem Proving (DTP ' 00) (Edinburgh, England)
Event typeSeminar