Catalog

Record Details

Catalog Search



Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers  Cover Image E-book E-book

Automated Deduction in Geometry [electronic resource] : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / edited by Francisco Botana, Tomas Recio.

Botana, Francisco. (editor.). Recio, Tomas. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources


LDR 02000nam a22005175i 4500
00135062
003CONS
00520131219213624.0
007cr nn 008mamaa
008100301s2007 gw | s |||| 0|eng d
020 . ‡a9783540773566 ‡9978-3-540-77356-6
0247 . ‡a10.1007/978-3-540-77356-6 ‡2doi
035 . ‡a(DE-He213)978-3-540-77356-6
050 4. ‡aQ334-342
050 4. ‡aTJ210.2-211.495
072 7. ‡aUYQ ‡2bicssc
072 7. ‡aTJFM1 ‡2bicssc
072 7. ‡aCOM004000 ‡2bisacsh
1001 . ‡aBotana, Francisco. ‡eeditor.
24510. ‡aAutomated Deduction in Geometry ‡h[electronic resource] : ‡b6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers / ‡cedited by Francisco Botana, Tomas Recio.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2007.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4869
650 0. ‡aComputer science.
650 0. ‡aComputational complexity.
650 0. ‡aArtificial intelligence.
650 0. ‡aComputer graphics.
650 0. ‡aOptical pattern recognition.
650 0. ‡aDiscrete groups.
65014. ‡aComputer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aComputer Graphics.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aPattern Recognition.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aConvex and Discrete Geometry.
7001 . ‡aRecio, Tomas. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783540773559
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v4869
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-540-77356-6 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a35062 ‡b ‡c35062 ‡tbiblio ‡sSystem Local

Additional Resources