Propositional proofs via combinatorial geometry and the search for symmetry.
Origine : Fichiers produits par l'(les) auteur(s)