A Survey of Axiom Selection as a Machine Learning Problem

Autor: Kühlwein, D., Blanchette, J.C., Geschke, S.

Publikováno v: Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, pp. 1-15
Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, 1-15. S.l. : College Publications
STARTPAGE=1;ENDPAGE=15;TITLE=Geschke, S. (ed.), Infinity, Computability and Metamathematics : Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch

Contains fulltext : 132733.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7a07acc1bee0bb13c88c5358730f2482
https://hdl.handle.net/2066/132733

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.