Browsing by Author Nguyen, Huong Thi Thu
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
22-Sep-2006 | A Proof-of-Concept for Using PVS and Maxima to Support Relational Calculus | Nguyen, Huong Thi Thu |
Showing results 1 to 1 of 1