Results
|
|
1.
|
Artificial Intelligence and Symbolic Computation Электронный ресурс 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings edited by Jaques Calmet, Tetsuo Ida, Dongming Wang. by Calmet, Jacques | Ida, Tetsuo | Wang, Dongming | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Automated Deduction in Geometry Электронный ресурс 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers edited by Hoon Hong, Dongming Wang. by Hong, Hoon | Wang, Dongming | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
|
|
|
4.
|
|
