Automated Reasoning in the Age of the Internet

Alan Bundy, Kwabena Nuamah, Christopher Lucas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
FRANK: Research Collaboration on Query Answering Systems
Bundy, A. & Fan, W.
Non-EU industry, commerce and public corporations
1/02/18 → 31/01/21
Project: Research