人工知能・機械学習のスレッド@数学板at MATH
人工知能・機械学習のスレッド@数学板 - 暇つぶし2ch539:132人目の素数さん
19/04/07 17:17:22.10 vEqUlseq.net
>>525竹ノ内脩は任意の元を選んだら固定されることを主張していまし
命題論理から述語論理に拡張したってことを言ってるの?


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch