ヘルプ
ヘルプ

検索結果 1 件

コンピュータによる定理の証明 (コンピュータ・サイエンス研究書シリーズ ; 27)

書影書影
コンピュータによる定理の証明 (コンピュータ・サイエンス研究書シリーズ ; 27)
紙デジタル図書
Chin-Liang Chang, Richard Char-Tung Lee 著, 長尾真, 辻井潤一 訳日本コンピュータ協会1983.9<MA41-99>
インターネットで読める国立国会図書館全国の図書館
  • 全国書誌番号85013050
  • 原資料（JPNO）85013050

検索結果は以上です。