A proof tool for TM

D. Spelt (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period14 Nov 1995
    Held atSION Databasedag 1995
    Event typeConference
    LocationAmsterdam, Netherlands
    Degree of RecognitionNational