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