• Postal addressShow on map

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Filter
Poster

Search results

  • 2015

    Meta-Logical Reasoning in Higher-Order Logic

    Villadsen, J., Schlichtkrull, A. & Hess, A. V., 2015. 1 p.

    Research output: Contribution to conferencePosterResearchpeer-review

    Open Access
    File
    610 Downloads (Pure)