Representing First Order Logic Using Graphs

    Activity: Talk or presentation › Oral presentation

    Period1 Apr 2004
    Held atTechnische Universitat Berlin, Germany

    Keywords

    • METIS-221148