Jump to main content

yr 〜
yr

Search results 7

構成的並列分散プログラミング・システムの数理科学的研究

構成的並列分散プログラミング・システムの数理科学的研究
Paper図書
高山, 幸秀, 立命館大学1997-1998<Y151-H09640302>
National Diet Library
  • Subject Heading構成的プログラミング 並列計算モデル 計算機代数

古典論理に基く構成的プログラミングの実現

古典論理に基く構成的プログラミングの実現
Paper図書
佐藤, 雅彦, 京都大学1998-1999<Y151-H10480061>
National Diet Library
  • Subject Heading構成的プログラミング 古典論理 算術 キヤツチ・スロー機構

構成的プログラミング理論

構成的プログラミング理論
Paper図書
佐藤, 雅彦, 京都大学1996-1997<Y151-H08458068>
National Diet Library
  • Subject Heading構成的プログラミング キヤツチスロー機構 型理論

構成的プログラミングの新局面の研究

構成的プログラミングの新局面の研究
Paper図書
林, 晋, 神戸大学1994-1995<Y151-H06680333>
National Diet Library
  • Subject Heading構成的プログラミング プログラム検証 プログラム論理

構成的プログラミング・システムの実現

構成的プログラミング・システムの実現
Paper図書
佐藤, 雅彦, 京都大学1996-1997<Y151-H08558023>
National Diet Library
  • Subject Heading構成的プログラミング 対話的証明環境 直観主義論理 古典論理 様相論理

カテゴリー論的計算機数学の総合的研究

カテゴリー論的計算機数学の総合的研究
Paper図書
河原康雄, 九州大学1996-1998<Y151-H08304017>
National Diet Library
  • Subject Headingカテゴリー論 計算機科学 計算論理学 関係計算 人工知能 プログラミング意味論 計算量理論 構成的プログラミング

構成的プログラミングを実現する証明、検証、合成システム

構成的プログラミングを実現する証明、検証、合成システム
Paper図書
佐藤, 雅彦, 京都大学1994-1995<Y151-H06452387>
National Diet Library
  • Subject Heading構成的プログラミング 構成的論理 証明システム 関数型プログラム言語 代入文 遅...

Reached to the end of result.

RSS