Вы здесь

Главная

coq

Связанные издания:

Automated Deduction in Geometry: Revised Selected Papers/9th International Workshop, ADG 2012, Edinburgh, UK, September 2012
Certified Programs and Proofs: Proc./3rd International Conference, CPP 2013, Melbourne,VIC,Australia, December 2013
Interactive Theorem Proving: Proc./4th International Conference, ITP 2013, Rennes, France, July 2013