共 50 条
- [27] A proof system and a decision procedure for equality logic LATIN 2004: THEORETICAL INFORMATICS, 2004, 2976 : 530 - 539
- [28] Proof transformation with built-in equality predicate 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
- [30] A simple proof of the irrationality of π Russian Journal of Mathematical Physics, 2006, 13 : 473 - 473