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

2014-04-01WS 2014Unverified0· sign in to hype

Stergios Chatzikyriakidis, Zhaohui Luo