On the termination of Russell's description elimination algorithm

  • Clemens Grabmayer (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period19 Nov 2009
    Event titleTeReSe 2009 (University College, Utrecht)
    Event typeSeminar

    Documents & Links