Skip to main navigation Skip to search Skip to main content

Tutorial on Reasoning With Tableaux

  • Jan van Eijck (Invited speaker)

Activity: Talk or presentation › Invited talk › Popular

Period22 Oct 2001
Event titleOZSL Schoolweek (Nunspeet)
Event typeSeminar