Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang. by Series: Lecture Notes in Computer Science ; 4120
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 C35 2006.

Place hold Add to cart
2.
Differential Equations with Symbolic Computation [electronic resource] / edited by Dongming Wang, Zhiming Zheng. by Series: Trends in Mathematics
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA372 W36 2005.

Place hold Add to cart
3.
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: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA448.D38 H66 2006.

Place hold Add to cart
4.
Symbolic-Numeric Computation [electronic resource] / edited by Dongming Wang, Lihong Zhi. by Series: Trends in Mathematics
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.59 W36 2007.

Place hold Add to cart
Pages

Powered by Koha