Publication
Detail
Publication date: 01/01/2012Eliciting implicit assumptions of Mizar proofs by property omission
| URL | http://dx.doi.org/10.1007/s10817-012-9264-3 |
|---|---|
| Journal | Journal of Automated Reasoning |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/s10817-012-9264-3 |
| Journal | Journal of Automated Reasoning |
| Publisher | Springer |