Racer

From Scholarpedia
Jump to: navigation, search
    • Volker Haarslev
    • haarslev@cse.concordia.ca
    • Concordia University, Montreal, Canada
    • Created the Racer reasoner
    Personal tools
    Namespaces

    Variants
    Actions
    Navigation
    Focal areas
    Activity
    Tools