共 50 条
- [34] A proof of Kamp's theorem Rabinovich, A. (rabinoa@post.tau.ac.il), 1600, Logical Methods in Computer Science (10):
- [37] A Simpler Proof of the Boros–Füredi–Bárány–Pach–Gromov Theorem Discrete & Computational Geometry, 2012, 47 : 492 - 495