Argumentation Theory for Mathematical Argument

Joseph Corneli
, Ursula Martin
, Dave Murray-Rust
, Gabriela Rino Nesin
, Alison Pease

Computing

Research output: Contribution to journal › Article › peer-review

8 Citations (Scopus)

745 Downloads (Pure)

1 results

Finished
Example-Driven Machine-Human Collaboration in Mathematics
Pease, A. (Investigator)
1/06/17 → 31/05/19
Project: Research