Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond

Stergios Chatzikyriakidis | Zhaohui Luo |

Paper Details:

Month: April
Year: 2014
Location: Gothenburg, Sweden
Venue: TTNLS | WS |