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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Botana, Francisco (Επιμελητής έκδοσης), Recio, Tomas (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:	Lecture Notes in Computer Science, 4869
Θέματα:	Mathematics. Mathematical logic. Computer science > Mathematics. Artificial intelligence. Computer graphics. Pattern recognition. Geometry. Artificial Intelligence (incl. Robotics). Computer Graphics. Mathematical Logic and Formal Languages. Pattern Recognition. Discrete Mathematics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers /
Έκδοση: (2004)

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /
Έκδοση: (2006)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers /
Έκδοση: (2011)

Uncertain Projective Geometry Statistical Reasoning for Polyhedral Object Reconstruction /
ανά: Heuel, Stephan
Έκδοση: (2004)

Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings /
Έκδοση: (2006)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Έκδοση: (2015)

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Έκδοση: (2013)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
Έκδοση: (2011)

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers /
Έκδοση: (2013)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Έκδοση: (2013)

Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings /
Έκδοση: (2008)

The Language of Mathematics A Linguistic and Philosophical Investigation /
ανά: Ganesalingam, Mohan
Έκδοση: (2013)

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, SSPR 2006 and SPR 2006, Hong Kong, China, August 17-19, 2006. Proceedings /
Έκδοση: (2006)

Programming Logics Essays in Memory of Harald Ganzinger /
Έκδοση: (2013)

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /
Έκδοση: (2012)

Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Έκδοση: (2017)

Ricci Flow for Shape Analysis and Surface Registration Theories, Algorithms and Applications /
ανά: Zeng, Wei, κ.ά.
Έκδοση: (2013)

Transactions on Rough Sets XVII
Έκδοση: (2014)

Transactions on Rough Sets XVIII
Έκδοση: (2014)

Neural-Symbolic Cognitive Reasoning
ανά: d’Avila Garcez, Artur S., κ.ά.
Έκδοση: (2009)

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
Έκδοση: (2012)

Graph-Based Representations in Pattern Recognition 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings /
Έκδοση: (2011)

Structural, Syntactic, and Statistical Pattern Recognition Joint IAPR International Workshops, SSPR 2004 and SPR 2004, Lisbon, Portugal, August 18-20, 2004. Proceedings /
Έκδοση: (2004)

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /
Έκδοση: (2011)

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
Έκδοση: (2012)

Discrete Geometry for Computer Imagery 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings /
Έκδοση: (2016)

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
Έκδοση: (2001)

Algorithmic Learning Theory 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings /
Έκδοση: (2012)

Computational Intelligence International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II /
Έκδοση: (2006)

Transactions on Rough Sets XIX
Έκδοση: (2015)

Pythagorean-Hodograph Curves: Algebra and Geometry Inseparable
ανά: Farouki, Rida T.
Έκδοση: (2008)

Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings /
Έκδοση: (2006)

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers /
Έκδοση: (2006)

Transactions on Rough Sets XX
Έκδοση: (2016)

Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings /
Έκδοση: (2013)

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars /
Έκδοση: (2012)

Transactions on Rough Sets XVI
Έκδοση: (2013)

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings /
Έκδοση: (2013)

Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings /
Έκδοση: (2012)

Applied Pattern Recognition
Έκδοση: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών