Adapting proof automation to adapt proofs
| Publication | Article published January 2018 |
|---|---|
| Authors | Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…