yr 〜
yr

Search results 5

New trends in e-service and smart computing (Studies in computational intelligence ; 742)

New trends in e-service and smart computing (Studies in computational intelligence ; 742)
Paper図書
Tokuro Matsuo, Tsunenori Mine, Sachio Hirokawa, editors.Springer[2018]<M121-B176>
National Diet Library
  • Author Heading (ID)01086460 00680510

12回で学ぶ情報処理 第7版

12回で学ぶ情報処理 第7版
Paper図書
廣川佐千男, 宮原哲浩, 峯恒憲, 正代隆義, 菅沼明 著学術図書出版社2006.10<M151-H454>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00680510 01005723 01086460

12回で学ぶ情報処理 第6版

12回で学ぶ情報処理 第6版
Paper図書
廣川佐千男 [ほか]著学術図書出版社2003.4(第3刷)<M151-H77>
National Diet Library
  • Author Heading (ID)00680510

12回で学ぶ情報処理 第3版

12回で学ぶ情報処理 第3版
Paper図書
廣川佐千男 [ほか]著学術図書出版社1998.4<M151-G167>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00680510

Lambda-terms as proofs

Lambda-terms as proofs
PaperDigital博士論文障害者向け資料あり
廣川佐千男 [著]<UT51-92-G208>
Available onlineNational Diet Library
  • Author Heading (ID)00680510

Reached to the end of result.