JAIST Repository >

Items for Author "Vu, Tung Xuan"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
Jun-2018 多項式制約解消のためのSMTソルバVu, Tung Xuan; ぶ, とぅん すん

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology