close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Xiaoshan Gao

Xiaoshan Gao

7 results found
List viewGrid view
Sort By:
1.
Machine Proofs In Geometry: Automated Production Of Readable Proofs For Geometry Theorems38 %
Available
Ships within 4-6 Days Explain..
2.
Mathematical Software - Proceedings Of The First International Congress Of Mathematical Software
Available
Ships within 8-10 Days Explain..
3.
Mathematics Mechanization and Applications
No Review Yet
₹8,058
Binding:
Hardback
Release:
18 Jul 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
4.
Automated Deduction in Geometry
Publisher: Springer
No Review Yet
₹5,177
Binding:
Digital (delivered electronically)
Release:
01 Oct 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Mathematics Mechanization and Applications
Publisher: Academic Press
No Review Yet
₹17,949
Binding:
Digital (delivered electronically)
Release:
01 Jul 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Mathematical Software
No Review Yet
₹13,864
Binding:
Digital (delivered electronically)
Release:
/12/2002
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Computer Mathematics - Proceedings Of The Fourth Asian Symposium (Ascm 2000)17 % NR
No Review Yet
₹11,346
₹9,417
Binding:
Hardback
Release:
07 Dec 2000
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA