Representing First Order Logic Using Graphs

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Period1 Apr 2004
    Held atTechnische Universitat Berlin, Germany

    Keywords

    • METIS-221148