共 50 条
- [26] On proving the existence of complete ordered fields AMERICAN MATHEMATICAL MONTHLY, 1998, 105 (06): : 548 - 551
- [27] PROVING NON-EXISTENCE OF GOD INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 1966, 9 (02): : 193 - 196
- [29] Proving the existence of loops in robot trajectories INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2018, 37 (12): : 1500 - 1516
- [30] Towards proving the existence of "bound" information ISIT: 2002 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2002, : 103 - 103