Export Mendeley
＜Doctoral Thesis＞
Symbolic-Numeric Quantifier Elimination with Industrial Applications
| Creator | |
|---|---|
| Language | |
| Academic Year Conferred | |
| Conferring University | |
| Degree | |
| Degree Type | |
| Publication Type | |
| Access Rights | |
| JaLC DOI |
Hide fulltext details.
| File | FileType | Size | Views | Description |
|---|---|---|---|---|
math174
|
849 KB | 443 | 本文 | |
|
math174_abstract
|
102 KB | 439 | 要旨 | |
|
math174_review
|
111 KB | 393 | 審査結果要旨 |
Details
| Record ID | |
|---|---|
| Peer-Reviewed | |
| Rights | |
| Report Number | |
| Number of Diploma | |
| Granted Date | |
| Date Accepted | |
| Faculty | |
| Created Date | 2014.04.30 |
| Modified Date | 2020.10.09 |