yr 〜
yr

Search results 6

「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス

「ソフトウェア=プログラム+ドキュメント」の視点に基づく多言語対応大規模コーパス
Paper図書
稲垣康善, 愛知県立大学 [著][稲垣康善]2004-2006<Y151-H16200001>
National Diet Library

推論と知識情報処理の論理に関する文献集 : 資料

推論と知識情報処理の論理に関する文献集 : 資料
Paper図書
研究代表者 稲垣康善[稲垣康善]1990.3
Other Libraries in Japan

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究

代数的仕様記述法に基づくソフトウェア開発支援システムの開発研究
Paper図書
稲垣康善研究代表[稲垣康善]1989.3
Other Libraries in Japan

セル構造に基づく高度並列情報処理システムに関する総合的研究

セル構造に基づく高度並列情報処理システムに関する総合的研究
Paper図書
稲垣康善研究代表[稲垣康善]1988.3
Other Libraries in Japan

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究

代数的手法に基づく並列計算システムの仕様記述・検証の基礎的研究
Paper図書
稲垣康善研究代表[稲垣康善][1987.3]
Other Libraries in Japan

プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用 = A formal specification method of programming languages and its application to compiler-compiler

プログラミング言語の形式的意味記述とそのコンパイラ自動生成への応用 = A formal specification method of programming languages and its application to compiler-compiler
Paper図書
稲垣康善研究代表[稲垣康善][1985.3]
Other Libraries in Japan

Reached to the end of result.