「CeCILL」を解説文に含む見出し語の検索結果(1~10/24件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/22 04:50 UTC 版)「Coq」の記事における「Ssreflect拡張」の解説Georges Gonthier...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/12/30 02:54 UTC 版)「XML変換言語」の記事における「XStream」の解説XML文書用の関数型変換言語。ス...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
この記事の主題はウィキペディアにおける独立記事作成の目安を満たしていないおそれがあります。目安に適合することを証明するために、記事の主題についての信頼できる二次資料を求めています。なお、適合することが...
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "Xcos" – ニュース ...
Coq作者フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校初版4.10 (1989年)最新版8.19.1 / 2024年3月4日...
Coq作者フランス国立情報学自動制御研究所, パリ第7大学, エコール・ポリテクニーク, パリ第11大学, リヨン高等師範学校初版4.10 (1989年)最新版8.19.1 / 2024年3月4日...
ナビゲーションに移動検索に移動Orfeo Toolbox開発元フランス国立宇宙研究センター最新版6.6.1 / 2018年12月12日(45日前) (2018-12-12)リポジトリgith...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
< 前の結果 | 次の結果 >