Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
Automated Deduction in Geometry Электронный ресурс 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / edited by Francisco Botana, Tomas Recio. by Botana, Francisco | Recio, Tomas | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|