Your search returned 2 results.

Sort
Results
1.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers / edited by Hoon Hong, Dongming Wang. by Series: Lecture Notes in Computer Science ; 3763
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

2.
Mathematical Software – ICMS 2014 [electronic resource] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings / edited by Hoon Hong, Chee Yap. by Series: Lecture Notes in Computer Science ; 8592
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer eBooks
Online resources:
Availability: Items available for loan: Central Library (1).

Pages

Maintained by VTU Library