/     /
  +7(495) 980-12-10
  -: 10-18 : 11-18
  shop@logobook.ru
   
                            ISBN      
       
|   | | |   | | C | | | |
 

  ?

Automated Deduction in Geometry / Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers, Richter-Gebert Jürgen, Wang Dongming



: 8084.
-:
  
: .  .

: 30 2022
: -
.

  
  

: Richter-Gebert Jürgen, Wang Dongming
 Automated Deduction in Geometry / Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
ISBN: 9783540425984
: Springer
:

ISBN-10: 3540425985
/: Paperback
: 325
: 0.478 .
: 2001
: Lecture notes in computer science / lecture notes in artificial intelligence
: English
: Illustrations
: 23.39 x 15.60 x 1.80
: Professional & vocational
: Third international workshop, adg 2000, zurich, switzerland, september 25-27, 2000 - revised papers
: Link
:
:
: : 235x155
: Researchers and professionals
: Automated Deduction
Computer Vision
Computer-Aided Design
Formal Verification
Geometric Deduction
Geometric Design
Geometric Modeling
Geometric Problem Solving
Theorem Proving
: eng





" " :+7(495) 980-12-10 www.logobook.ru