ヘルプ
ヘルプ

検索結果 6 件

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

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

コンピュータによる定理の証明 (人工知能<特集>)

コンピュータによる定理の証明 (人工知能<特集>)
デジタル記事障害者向け資料あり
中西 正和, 永田 守男<Z15-30>数理科学14(9) 1976.09p.p54～60
国立国会図書館全国の図書館

コンピュータによる定理の証明-1-

コンピュータによる定理の証明-1-
紙記事
山本 冨士雄<Z22-17>佐世保工業高等専門学校研究報告 = Research reports of Sasebo National College of Technology(通号 9) 1972.10p.155～165
国立国会図書館全国の図書館

コンピュータによる定理の証明(第3報)

コンピュータによる定理の証明(第3報)
紙記事
1976-11-30佐世保工業高等専門学校研究報告13p.51-58
全国の図書館

コンピュータによる定理の証明 (第2報)

コンピュータによる定理の証明 (第2報)
紙記事
1974-11-30佐世保工業高等専門学校研究報告11p.121-130
全国の図書館

コンピュータによる定理の証明 (第1報)

コンピュータによる定理の証明 (第1報)
紙記事
1972-10-30佐世保工業高等専門学校研究報告9p.155-166
全国の図書館

検索結果は以上です。