共 50 条
- [33] Combinatorial proofs of Fibonacci identities Proceedings of SPIE - The International Society for Optical Engineering, 2022, 12259
- [34] On Combinatorial Proofs for Modal Logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 223 - 240
- [40] Verification of proofs of unsatisfiability for CNF formulas DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 886 - 891