Skip to main navigation Skip to search Skip to main content

Logic Dissemination with Functional Programming: Reasoning + Computation

  • Jan van Eijck (Invited speaker)

Activity: Talk or presentation › Invited talk › Popular

Period16 Jun 2000
Event titleTools for Teaching Logic (Salamanca)
Event typeSeminar