Skip to main navigation Skip to search Skip to main content

Natural Language Reasoning with a Natural Theorem Prover

    Activity: Talk or presentation › Schools engagement › Academic

    Period8 Aug 2022 → 12 Aug 2022
    Event title33rd European Summer School In Logic, Language and Information
    Event typeCourse
    Conference number33
    LocationGalway, IrelandShow on map
    Degree of RecognitionInternational

    Documents & Links