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