Access count of this item: 42

Files in This Item:
File Description SizeFormat 
1843-08.pdf1.04 MBAdobe PDFView/Open
Title: Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
Authors: 岩根, 秀直  KAKEN_name
樋口, 博之  KAKEN_name
穴井, 宏和  KAKEN_name
Author's alias: IWANE, HIDENAO
HIGUCHI, HIROYUKI
ANAI, HIROKAZU
Issue Date: Jul-2013
Publisher: 京都大学数理解析研究所
Journal title: 数理解析研究所講究録
Volume: 1843
Start page: 66
End page: 79
URI: http://hdl.handle.net/2433/195009
Appears in Collections:1843 Computer Algebra : The Algorithms, Implementations and the Next Generation

Show full item record

Export to RefWorks


Export Format: 


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.