文献

J-GLOBAL ID：201002203753172794   整理番号：10A1172899

非標準モデルに基づいたハイブリッドシステムについての推論

Reasoning about hybrid systems based on a nonstandard model

著者 (2件)： NAKAMURA K ,  FUSAOKA A
資料名： AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
ページ： 749-754  発行年： 2007年 
JST資料番号： I20070349  ISSN： 0302-9743  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 標準モデル ,  ハイブリッドシステム ,  推論