ゲーデル賞(Gödel Prize)論文及びGödel 論文を英語で読む（邪道）
two papers, László Babai and Shlomo Moran, "Arthur-Merlin games: a randomized proof sy ...
2
1
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles