履歴
2015年1月4日 スライドアップロード
タイトル
Total-machine reducibility and randomness notions
種類
Asian Logic Conference 2015
ダウンロード
スライド
宮部賢志(ミヤベケンシ)
履歴
2015年1月4日 スライドアップロード
タイトル
Total-machine reducibility and randomness notions
種類
Asian Logic Conference 2015
ダウンロード
スライド