文献
J-GLOBAL ID：201902204400526447   整理番号：19S0426912

Formalizing the qualitative superposition of rectangles in proof assistant Isabelle/HOL

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (2件)：
Ghourabi, Fadoua

Ghourabi, Fadoua について

(Graduate School of Science and Technology, Kwansei Gakuin University)

Graduate School of Science and Technology, Kwansei Gakuin University について

, 
Takahashi, Kazuko

Takahashi, Kazuko について

(Graduate School of Science and Technology, Kwansei Gakuin University)

Graduate School of Science and Technology, Kwansei Gakuin University について


資料名：
ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings

ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings について


巻： 2  ページ： 530-539  発行年： 2015年 
JST資料番号： SCOPUS  ISBN： 9789897580741 
発行国： ポルトガル (PRT)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM