On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › unbekannt

Wissenschaftszweige

Projekte
CALCULEMUS - Systems for Integrated Computation and Deduction
Projekt: Geförderte Forschung › EU - Europäische Union