%0 Book
%T Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004; revised papers
%A ADG 5 2004 Gainesville, Fla
%A Hong, Hoon
%I Springer
%@ 354031332X
%@ 9783540313328
%K Geometry Data processing Congresses
%K Automatic theorem proving Congresses
%K Logic, Symbolic and mathematical Congresses
%K Konferenzschrift 2004 Gainesville, Fla.
%K Konferenzschrift
%K Geometrie
%K Automatisches Beweisverfahren
%K Geometrische Modellierung
%D 2006
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation