Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers / Hoon Hong, Dongming Wang (eds.). by Series: Lecture notes in computer science ; 3763. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • ADG 2004
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Mathematical software -- ICMS 2014 : 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. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2014
Other title:
  • ICMS 2014
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha