yr 〜
yr

Search results 74

リダクションの近似に基づくプログラム検証手法の研究

リダクションの近似に基づくプログラム検証手法の研究
Paper図書
外山芳人, 東北大学 [著][外山芳人]2002-2005<Y151-H14580357>
National Diet Library

プログラム検証のための帰納的定理自動証明法の研究

プログラム検証のための帰納的定理自動証明法の研究
Paper図書
外山, 芳人, 東北大学1998-2001<Y151-H10680346>
National Diet Library

高階書き換えシステムをもちいたプログラム検証法の研究

高階書き換えシステムをもちいたプログラム検証法の研究
Paper図書
外山, 芳人, 北陸先端科学技術大学院大学1995-1997<Y151-H07680347>
National Diet Library

リダクションの近似に基づくプログラム検証手法の研究

リダクションの近似に基づくプログラム検証手法の研究
Paper図書
外山芳人研究代表者[外山芳人]2006.5
Other Libraries in Japan

Term rewriting systems and the Church-Rosser property

Term rewriting systems and the Church-Rosser property
PaperDigital博士論文障害者向け資料あり
外山芳人 [著]<UT51-91-B59>
Available onlineNational Diet Library

プログラム検証のための帰納的定理自動証明法の研究

プログラム検証のための帰納的定理自動証明法の研究
Paper図書
外山芳人研究代表者[外山芳人]2002.3
Other Libraries in Japan

高階書き換えシステムをもちいたプログラム検証法の研究

高階書き換えシステムをもちいたプログラム検証法の研究
Paper図書
研究代表者 外山芳人[外山芳人]1998.3
Other Libraries in Japan

Term Rewriting Systems and the Church-Rosser Property(項書き換えシステムとチャーチ・ロッサ性)

Term Rewriting Systems and the Church-Rosser Property(項書き換えシステムとチャーチ・ロッサ性)
Digital文書・図像類
外山, 芳人19901151
Other Libraries in Japan

数学セミナー

数学セミナー
PaperDigital雑誌
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

人工知能学会誌 : AI

人工知能学会誌 : AI
Paper雑誌
人工知能学会1986-2013<Z14-1242>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Bit : コンピュータサイエンス誌

Bit : コンピュータサイエンス誌
PaperDigital雑誌
共立出版1969-2001<Z14-405>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

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

情報処理 : 情報処理学会誌 : IPSJ magazine

情報処理 : 情報処理学会誌 : IPSJ magazine
Paper雑誌
情報処理学会1960-<Z14-352>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数セミ : 数学セミナー

数セミ : 数学セミナー
PaperDigital雑誌
日本評論社1985-1991<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

電子通信学会論文誌 D

電子通信学会論文誌 D
PaperDigital雑誌
電子通信学会 編電子通信学会1972-1986<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

計測と制御 : journal of the Society of Instrument and Control Engineers

計測と制御 : journal of the Society of Instrument and Control Engineers
Paper雑誌
計測自動制御学会1962-<Z14-106>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

リダクションの近似に基づくプログラム検証手法の研究

リダクションの近似に基づくプログラム検証手法の研究
Digital文書・図像類
外山, 芳人
Other Libraries in Japan