年 〜
年

検索結果 2 件

ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee (eds.). (Lecture notes in computer science)

ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991 : proceedings / W.L. Hsu, R.C.T. Lee (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A8062>
国立国会図書館
  • 著者標目...Hsu, Wen-Lian. Lee, Richard Char-Tung, 1939-

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

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

検索結果は以上です。