Art

J-GLOBAL ID：201802261301028100   Reference number：18A0635987

実閉体上の限量子消去における公式の簡単化

Author (1)： IWANE HIDENAO (富士通研)
Material： 日本オペレーションズ・リサーチ学会春季研究発表会アブストラクト集  (Abstracts. Spring National Conference of Operations Research Society of Japan)
Volume： 2018  Page： 10-11  Publication year： Mar. 15, 2018 
JST Material Number： S0276A  ISSN： 1883-1893  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *predicative logic ,  formula ,  *formula manipulation ,  *quantifier ,  subset ,  logical function ,  simplification ,  *algebra of logic ,  *Boolean algebra ,  *logic formula ,  modification
Semi thesaurus term： *first-order predicate logic ,  *quantifier ,  集合被覆問題

JST classification (2)： Symbol manipulation  (JE03000Q) ,  Logic algebra  (JB03000H)

Terms in the title (3)： 限量子 ,  消去 ,  簡単化