![](https://www.pdfsearch.io/img/b0c64598a6bae95767d1b66dc21d336f.jpg) Date: 2016-12-20 20:59:59
| | A reflexive tactic for automated generation of proofs of incidence to an affine variety Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version: Pierre Boutry, Julien Narboux, Pascal Schreck. A reflexive tactiAdd to Reading ListSource URL: hal.inria.frDownload Document from Source Website File Size: 737,84 KBShare Document on Facebook
|