Mackey, John
1412  Ergebnisse:
Personensuche X
?
 
?
8

The Resolution of Keller's Conjecture:

Brakensiek, Joshua ; Heule, Marijn ; Mackey, John.
Journal of Automated Reasoning.  66 (2022)  3 - p. 277-300 , 2022
 
1-15