Browsing by Author Ajchara Harnchoowong
Showing results 15 to 16 of 16
< previous
Issue Date | Title | Author(s) |
---|---|---|
2003 | Templates and program extraction from proofs in higher order systems | Pimpen Vejjajiva |
2002 | Uniform distribution in function fields | Keng Wiboonton |