yr 〜
yr

Search results 3

アルゴリズム論に関する総合的研究

アルゴリズム論に関する総合的研究
Paper図書
小林, 孝次郎, 東京工業大学1994-1996<Y151-H06302013>
National Diet Library
  • Subject Heading微分方程式の同定 知識命題論理 代数的意味論 関係代数 プログラムの検証 時相論理 蛋白質の構造 音楽情報処理

構成的数学基づく証明検証合成システムの作成

構成的数学基づく証明検証合成システムの作成
Paper図書
佐藤, 雅彦, 東北大学1987-1989<Y151-S62460220>
National Diet Library
  • Subject Heading構成的数学 関数型プログラム言語 直観主義論理 証明 プログラムの検証 プログラムの合成

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成
Paper図書
佐藤, 雅彦, 東北大学1985-1986<Y151-S60580018>
National Diet Library
  • Subject Heading構成的数学 プログラムの形式的意味 データ型 プログラムの検証 関数型プログラム言語 論理型プログラム言語

Reached to the end of result.