Jump to main content

yr 〜
yr

Search results 45

知的情報処理における推論機構の研究

知的情報処理における推論機構の研究
Paper図書
高須, 達, 京都大学1985-1987<Y151-S60580024>
National Diet Library
  • Author Heading高須, 達

並列プログラムの合成理論の研究

並列プログラムの合成理論の研究
Paper図書
高須, 達, 京都大学1981-1982<Y151-S56580029>
National Diet Library
  • Author Heading高須, 達

Studies on program synthesis : 計算機構の数学的研究とプログラムの正当性の検証システムの開発

Studies on program synthesis : 計算機構の数学的研究とプログラムの正当性の検証システムの開発
Paper図書
高須, 達, 京都大学1977-1979<Y151-S00246003>
National Diet Library
  • Author Heading高須, 達

プログラム合成論の研究

プログラム合成論の研究
Paper図書
高須, 達, 京都大学1979-<Y151-S00458018>
National Diet Library
  • Author Heading高須, 達

Logic, language, and computation : festschrift in honor of Satoru Takasu : gw : us

Logic, language, and computation : festschrift in honor of Satoru Takasu : gw : us
Paper図書
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading高須, 達 Jones, Neil D. 萩谷, 昌己 佐藤, 雅彦

Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds. (Lecture notes in computer science)

Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M154-A210>
National Diet LibraryOther Libraries in Japan
  • Author Heading高須, 達, 1931-1996 Jones, Neil D. 萩谷,...

知的情報処理における推論機構の研究

知的情報処理における推論機構の研究
Paper図書
高須達研究代表者[高須達]1988.3
Other Libraries in Japan
  • Author Heading高須, 達 京都大学数理解析研究所

Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu. (Lecture notes in computer science ; 75)

Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / edited by E. K. Blum, M. Paul and S. Takasu. (Lecture notes in computer science ; 75)
Paper図書
Springer-Verlag1979.<M151-57>
National Diet Library
  • Author Heading..., M. (Medford) 高須, 達, 1931-1996

Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 : gw : us

Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 : gw : us
Paper図書
edited by E. K. Blum, M. Paul and S. TakasuSpringer-Verlag1979
Other Libraries in Japan
  • Author Heading..., M. (Medford) 高須, 達

Proceedings of the International Conference on Mathematical Studies of Information Processing, August 23-26, 1978 at Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan

Proceedings of the International Conference on Mathematical Studies of Information Processing, August 23-26, 1978 at Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan
Paper図書
editors, E.K. Blum, S. TakasuResearch Institute for Mathematical Sciences, Kyoto University]c1978
Other Libraries in Japan
  • Author HeadingInternational Conference on Mathematical Studies of Information Processing Blum, Edward K. 高須, 達

Relative homology and relative cohomology theory of groups

Relative homology and relative cohomology theory of groups
Paper博士論文
高須達 [著]<UT51-40-D1247>
National Diet Library
  • Author Heading高須, 達

数値解析概論

数値解析概論
PaperDigital図書障害者向け資料あり
J.ウォルシュ 編, 高須達 監訳日本評論社1970<MA251-3>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingWalsh, Joan 高須, 達, 1931-1996

論理設計概論 : 電子計算機の理解のために

論理設計概論 : 電子計算機の理解のために
PaperDigital図書障害者向け資料あり
高須達 著裳華房1967<535.54-Ta411r>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading高須, 達, 1931-1996

電子計算機のプログラミング

電子計算機のプログラミング
Paper図書
高須達 編日刊工業新聞社１９６９
Other Libraries in Japan

電子計算機のプログラミング ９版

電子計算機のプログラミング ９版
Paper図書
高須　達／著日刊工業新聞社１９６９
Other Libraries in Japan

数値解析概論

数値解析概論
Paper図書
Ｊ＊ウオルシュ 編 ; 高須達 監訳日本評論新社１９７０年
Other Libraries in Japan
  • Author HeadingＪ＊ウオルシュ 高須, 達

電子計算機のプログラミング

電子計算機のプログラミング
PaperDigital図書障害者向け資料あり
高須達 編日刊工業新聞社1962<535.54-Ta411d>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading高須, 達, 1931-1996

Systems and computer science

Systems and computer science
Paper図書
editors, John F. Hart, Satoru TakasuUniversity of Toronto Press in association with the University of Western Ontarioc1967
Other Libraries in Japan
  • Author HeadingConference on Systems and Computer Science Hart, John F. 高須, 達 University of Western Ontario

自転車・バイク駐車場 : わが国唯一の自転車・バイク駐車場専門月刊誌

自転車・バイク駐車場 : わが国唯一の自転車・バイク駐車場専門月刊誌
PaperDigital雑誌雑誌タイトル
駐輪・駐車場情報センター 編サイカパーキング1983-2010<Z5-472>
Available onlineNational Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

論理設計概論

論理設計概論
Paper図書
高須達著裳華房1967.11
Other Libraries in Japan
  • Author Heading高須, 達(1931-)
RSS