%0 Book
%T Automated deduction in geometry third international workshop, Zurich, Switzerland, September 25 - 27, 2000 ; revised papers
%A ADG 3 2000 Zürich
%A Richter-Gebert, Jürgen
%I Springer
%@ 3540425985
%K Geometry Data processing Congresses
%K Logic, symbolic and mathematical Congresses
%K Automatic theorem proving Congresses
%K Konferenzschrift 2000 Zürich
%K Geometrie
%K Automatisches Beweisverfahren
%K Geometrische Modellierung
%D 2001
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation