Conference | Speakers | Profile

Clinton Field
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer

Conference | Speakers | Profile
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer