Repository | Directory | Profile

125752

Clinton Field

Bibliographie ¹

Automated search for Gödel's proofs

2008

Wilfried Sieg Clinton Field

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link

Sortieren

Filtern

Sprache

english/english

Periode

2000-2009