yr 〜
yr

Search results 45

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
Paper図書
大山口通夫, 三重大学 [著][大山口通夫]2003-2005<Y151-H15500009>
National Diet Library
  • Author Heading大山口, 通夫 三重大学

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
Paper図書
大山口, 通夫, 三重大学2000-2002<Y151-H12680344>
National Diet Library
  • Author Heading大山口, 通夫

コンパイラの理論と作成技法 (ライブラリ情報学コア・テキスト ; 12)

コンパイラの理論と作成技法 (ライブラリ情報学コア・テキスト ; 12)
Paper図書
大山口通夫, 三橋一郎 共著サイエンス社2010.6<M159-J978>
National Diet LibraryOther Libraries in Japan
  • Author Heading大山口, 通夫, 1947- 三橋, 一郎

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

書き換えシステムの基本的性質の解明と完備化手続きに関する研究
Paper図書
大山口, 通夫, 三重大学1996-1998<Y151-H08680362>
National Diet Library
  • Author Heading大山口, 通夫

プログラミング言語論 (コンピュータサイエンス教科書シリーズ ; 4)

プログラミング言語論 (コンピュータサイエンス教科書シリーズ ; 4)
Paper図書
大山口通夫, 五味弘 共著コロナ社2008.3<M159-J79>
National Diet LibraryOther Libraries in Japan
  • Author Heading大山口, 通夫, 1947- 五味, 弘

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究

書き換えシステムの基本的性質の解明と関数型プログラムの評価戦略に関する研究
Paper図書
大山口通夫, 三重大学1993-1994<Y151-H05680272>
National Diet Library
  • Author Heading大山口, 通夫

並列プログラミング言語の設計とその意味論並びに正当性検証に関する研究

並列プログラミング言語の設計とその意味論並びに正当性検証に関する研究
Paper図書
大山口, 通夫, 三重大学1990-1992<Y151-H02680022>
National Diet Library
  • Author Heading大山口, 通夫

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究

書き換えシステムの基本的性質の解明と定理証明システムの高度化に関する研究
Paper図書
研究代表者 大山口通夫[大山口通夫]2006.4
Other Libraries in Japan
  • Author Heading大山口, 通夫

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究

書き換えシステムの基本的性質の解明と定理の自動証明に関する研究
Paper図書
研究代表者:大山口通夫[大山口通夫]2003.5
Other Libraries in Japan
  • Author Heading大山口, 通夫

書き換えシステムの基本的性質の解明と完備化手続きに関する研究

書き換えシステムの基本的性質の解明と完備化手続きに関する研究
Paper図書
研究代表者 大山口通夫[大山口通夫]1999.3
Other Libraries in Japan
  • Author Heading大山口, 通夫

代数的仕様記述に基づいたソフトウエアの正当性証明とその自動生成に関する研究

代数的仕様記述に基づいたソフトウエアの正当性証明とその自動生成に関する研究
Paper図書
大山口, 通夫, 三重大学1983-<Y151-S58580025>
National Diet Library
  • Author Heading大山口, 通夫

コンパイラの理論 (コンピュータ数学シリーズ ; 10)

コンパイラの理論 (コンピュータ数学シリーズ ; 10)
PaperDigital図書
大山口通夫 著コロナ社1989.9<M159-E810>
National Diet LibraryOther Libraries in Japan
  • Author Heading大山口, 通夫, 1947-

オートマトンの等価性判定に関する研究

オートマトンの等価性判定に関する研究
Paper博士論文
大山口通夫 [著]<UT51-52-K82>
National Diet Library
  • Author Heading大山口, 通夫

オートマトンの等価判定に関する研究

オートマトンの等価判定に関する研究
Digital文書・図像類
大山口, 通夫1976584
Other Libraries in Japan
  • Author Heading大山口, 通夫

情報処理学会論文誌 : 論文誌ジャーナル

情報処理学会論文誌 : 論文誌ジャーナル
PaperRecording Media雑誌電子資料
情報処理学会2008-2013<YH247-743>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 SIG

情報処理学会論文誌 SIG
Paper雑誌
情報処理学会1998-2008<Z74-C192>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

三重大学社会連携研究センター研究報告

三重大学社会連携研究センター研究報告
Paper雑誌
三重大学社会連携研究センター社会連携研究室 編三重大学社会連携研究センター2009-2016<Z22-B168>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 論文誌トランザクション

情報処理学会論文誌 論文誌トランザクション
Recording Media雑誌電子資料
情報処理学会2008-2013<YH247-812>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •