Merkliste 
 1 Ergebnisse 
 
1

Automated Deduction in Geometry 

Second International Workshop, ADG’98 Beijing, China, Augus...  Lecture Notes in Computer Science ; 1669;SpringerLink, Bücher