文献

J-GLOBAL ID：201202225539411275   整理番号：12A0888727

Enfragmo:論理を用いたサーチ問題のモデリングおよび解法のためのシステム

Enfragmo: A System for Modelling and Solving Search Problems with Logic

著者 (5件)： AAVANI Amir (Simon Fraser Univ.) ,  WU Xiongnan Newman (Simon Fraser Univ.) ,  TASHARROFI Shahab (Simon Fraser Univ.) ,  TERNOVSKA Eugenia (Simon Fraser Univ.) ,  MITCHELL David (Simon Fraser Univ.)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7180  ページ： 15-22  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 論理 ,  問題 ,  モデリング ,  解法