نتایج جستجو

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Dominique Bolignano (auth.), 2013
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Dominique Bolignano (auth.), 2013