博士論文

多項式制約解消のためのSMTソルバ

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

多項式制約解消のためのSMTソルバ

Persistent ID (NDL)
info:ndljp/pid/11178491
Material type
博士論文
Author
Vu, Tung Xuan
Publisher
-
Publication date
2018-06
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
北陸先端科学技術大学院大学,博士(情報科学)
View All

Notes on use at the National Diet Library

Notes on use

Note (General):

Supervisor: 小川 瑞史情報科学研究科博士...

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.

Digital

Material Type
博士論文
Author/Editor
Vu, Tung Xuan
Author Heading
Publication Date
2018-06
Publication Date (W3CDTF)
2018-06
Degree grantor/type
北陸先端科学技術大学院大学
Date Granted
2018-06-22
Date Granted (W3CDTF)
2018-06-22
Dissertation Number
甲第1073号