Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (2006)

by Dominic J. D. Hughes
Citations:3 - 0 self