Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Gonthier, Georges
and
Tassi, Enrico
2012.
Interactive Theorem Proving.
Vol. 7406,
Issue. ,
p.
361.
Mahboubi, Assia
2013.
Intelligent Computer Mathematics.
Vol. 7961,
Issue. ,
p.
1.
Gonthier, Georges
Asperti, Andrea
Avigad, Jeremy
Bertot, Yves
Cohen, Cyril
Garillot, François
Le Roux, Stéphane
Mahboubi, Assia
O’Connor, Russell
Ould Biha, Sidi
Pasca, Ioana
Rideau, Laurence
Solovyev, Alexey
Tassi, Enrico
and
Théry, Laurent
2013.
Interactive Theorem Proving.
Vol. 7998,
Issue. ,
p.
163.
Hales, Thomas C.
2014.
Turing's Legacy.
p.
253.
Kornai, András
2014.
Bounding the impact of AGI.
Journal of Experimental & Theoretical Artificial Intelligence,
Vol. 26,
Issue. 3,
p.
417.
Masuhara, Takaaki
Kuriyama, Toru
Yoshida, Masakazu
and
Cheng, Jun
2015.
Formal Verification of Robertson-Type Uncertainty Relation.
Journal of Quantum Information Science,
Vol. 05,
Issue. 02,
p.
58.
Héthelyi, L.
and
Szőke, M.
2024.
On the Uniqueness Theorem.
Communications in Algebra,
Vol. 52,
Issue. 11,
p.
4896.