文献

J-GLOBAL ID：201102253787779765   整理番号：11A0534604

近似および分離の論理的混合

A Logical Mix of Approximation and Separation

著者 (3件)： HOBOR Aquinas (National Univ. Singapore) ,  DOCKINS Robert (Princeton Univ.) ,  APPEL Andrew W. (Princeton Univ.)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6461  ページ： 439-454  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (1件)： 近似