Propositional Proofs via Combinatorial Geometry and the Search for Symmetry (1999)

Cached

Download Links

by Alessandra Carbone , Stephen Semmes
Venue:IN ANNALS OF THE KURT GODEL SOCIETY, INSTITUTE OF COMPUTER SCIENCE AS CR