Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer-Verlagc1991.<M15-A8062>
National Diet Library
  • Author Heading...Hsu, Wen-Lian. Lee, Richard Char-Tung, 1939-

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

コンピュータによる定理の証明 (コンピュータ・サイエンス研究書シリーズ ; 27)
PaperDigital図書障害者向け資料あり
Chin-Liang Chang, Richard Char-Tung Lee 著, 長尾真, 辻井潤一 訳日本コンピュータ協会1983.9<MA41-99>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingChang, Chin-Liang Lee, Richard Char-Tung, 1939- 長尾, 真, 1936-2021 辻井, 潤一, 1949...

Reached to the end of result.

RSS