Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /

Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Felty, Amy P. (Επιμελητής έκδοσης), Middeldorp, Aart (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2015.
Έκδοση:	1st ed. 2015.
Σειρά:	Lecture Notes in Computer Science, 9195
Θέματα:	Computer science. Computers. Algorithms. Artificial intelligence. Image processing. Pattern recognition. Computer Science. Image Processing and Computer Vision. Artificial Intelligence (incl. Robotics). Algorithm Analysis and Problem Complexity. Information Systems Applications (incl. Internet). Computation by Abstract Devices. Pattern Recognition.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Machine Learning Meets Medical Imaging First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers /
Έκδοση: (2015)

Image and Signal Processing 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings /
Έκδοση: (2016)

Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings /
Έκδοση: (2005)

Trends in Intelligent Robotics, Automation, and Manufacturing First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012. Proceedings /
Έκδοση: (2012)

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings /
Έκδοση: (2007)

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II /
Έκδοση: (2005)

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III /
Έκδοση: (2005)

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings /
Έκδοση: (2011)

From Animals to Animats 13 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellón, Spain, July 22-25, 2014. Proceedings /
Έκδοση: (2014)

Hybrid Artificial Intelligent Systems 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings /
Έκδοση: (2015)

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II /
Έκδοση: (2016)

Artificial Neural Networks and Machine Learning – ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I /
Έκδοση: (2016)

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings /
Έκδοση: (2006)

Intelligent Computing in Bioinformatics 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings /
Έκδοση: (2014)

Artificial Neural Networks and Machine Learning – ICANN 2014 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014. Proceedings /
Έκδοση: (2014)

From Animals to Animats 14 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings /
Έκδοση: (2016)

From Animals to Animats 12 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings /
Έκδοση: (2012)

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I /
Έκδοση: (2013)

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II /
Έκδοση: (2013)

Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. /
Έκδοση: (2014)

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II /
Έκδοση: (2006)

Image Analysis and Processing — ICIAP 2015 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I /
Έκδοση: (2015)

Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings /
Έκδοση: (2016)

Artificial Life and Computational Intelligence Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings /
Έκδοση: (2016)

Artificial Intelligence: Methods and Applications 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings /
Έκδοση: (2014)

Hybrid Artificial Intelligence Systems 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings /
Έκδοση: (2014)

Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings /
Έκδοση: (2013)

Artificial Neural Networks and Machine Learning – ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part I /
Έκδοση: (2011)

Artificial Neural Networks and Machine Learning – ICANN 2011 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011, Proceedings, Part II /
Έκδοση: (2011)

Artificial Life and Computational Intelligence Third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 – February 2, 2017, Proceedings /
Έκδοση: (2017)

Applications of Evolutionary Computation EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I /
Έκδοση: (2010)

Artificial Neural Networks – ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I /
Έκδοση: (2010)

Artificial Neural Networks – ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part II /
Έκδοση: (2010)

Advances in Pattern Recognition Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010. Proceedings /
Έκδοση: (2010)

Artificial Intelligence: Theories and Applications 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012. Proceedings /
Έκδοση: (2012)

Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II /
Έκδοση: (2012)

Artificial Neural Networks and Machine Learning – ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I /
Έκδοση: (2012)

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings /
Έκδοση: (2013)

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I /
Έκδοση: (2005)

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

Cannot write session to /tmp/vufind_sessions/sess_6fs89mem7m7aaqqirqh4r09ibi