博士論文

Quantifier elimination and its application to optimization problems in engineering

Icons representing 博士論文

Quantifier elimination and its application to optimization problems in engineering

Call No. (NDL)
UT51-2010-B659
Bibliographic ID of National Diet Library
000010898643
Material type
博士論文
Author
Hitoshi Yanami [著]
Publisher
[Hitoshi Yanami]
Publication date
[2010]
Material Format
Paper
Capacity, size, etc.
1冊
Name of awarding university/degree
九州大学,博士 (機能数理学)
View All

Notes on use

Note (General):

博士論文

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
博士論文
Author/Editor
Hitoshi Yanami [著]
Author Heading
屋並, 仁史 ヤナミ, ヒトシ
Publication, Distribution, etc.
Publication Date
[2010]
Publication Date (W3CDTF)
2010
Extent
1冊
Alternative Title
限定子除去法およびその工学における最適化問題への応用 ゲンテイシ ジョキョホウ オヨビ ソノ コウガク ニ オケル サイテキカ モンダイ エ ノ オウヨウ
Degree grantor/type
九州大学