عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook16974
eng
Automated deduction in geometry
:ADG 2004. ;
Berlin ;New York :
: Springer,
, 2006.
Print
Geometry ; Data processing ; Congresses. ; Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
Hong, Hoon. ; Wang, Dongming. ;
old catalog
