Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathem...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kauers, Manuel (Επιμελητής έκδοσης), Kerber, Manfred (Επιμελητής έκδοσης), Miner, Robert (Επιμελητής έκδοσης), Windsteiger, Wolfgang (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Σειρά:	Lecture Notes in Computer Science, 4573
Θέματα:	Mathematics. Computer communication systems. Database management. Data mining. Artificial intelligence. Algebra. Artificial Intelligence (incl. Robotics). Data Mining and Knowledge Discovery. Information Systems Applications (incl. Internet). Database Management. Computer Communication Networks.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings /
Έκδοση: (2007)

Database Systems for Advanced Applications 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part II /
Έκδοση: (2017)

Database Systems for Advanced Applications 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I /
Έκδοση: (2017)

Data Warehousing and Knowledge Discovery 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings /
Έκδοση: (2007)

Big Data Analytics 5th International Conference, BDA 2017, Hyderabad, India, December 12-15, 2017, Proceedings /
Έκδοση: (2017)

Cooperative Information Agents XI 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedings /
Έκδοση: (2007)

Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings /
Έκδοση: (2008)

Active Media Technology 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings /
Έκδοση: (2010)

Data Warehousing and Knowledge Discovery 10th International Conference, DaWaK 2008 Turin, Italy, September 2-5, 2008 Proceedings /
Έκδοση: (2008)

Modeling Decision for Artificial Intelligence 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings /
Έκδοση: (2011)

Artificial Intelligence in Medicine 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings /
Έκδοση: (2011)

Scalable Uncertainty Management 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. Proceedings /
Έκδοση: (2010)

Metadata and Semantic Research 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011. Proceedings /
Έκδοση: (2011)

From Web to Social Web: Discovering and Deploying User and Content Profiles Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers /
Έκδοση: (2007)

Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings /
Έκδοση: (2010)

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures /
Έκδοση: (2011)

Solving Large Scale Learning Tasks. Challenges and Algorithms Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday /
Έκδοση: (2016)

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part I /
Έκδοση: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part III /
Έκδοση: (2011)

Knowlege-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II /
Έκδοση: (2011)

Knowledge-Based and Intelligent Information and Engineering Systems 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part IV /
Έκδοση: (2011)

Multidisciplinary Information Retrieval Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings /
Έκδοση: (2011)

Advances in Multidisciplinary Retrieval First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010. Proceedings /
Έκδοση: (2010)

Research and Advanced Technology for Digital Libraries 19th International Conference on Theory and Practice of Digital Libraries, TPDL 2015, Poznań, Poland, September 14-18, 2015, Proceedings /
Έκδοση: (2015)

Digital Libraries: For Cultural Heritage, Knowledge Dissemination, and Future Creation 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011. Proceedings /
Έκδοση: (2011)

Future Generation Information Technology Third International Conference, FGIT 2011 in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Έκδοση: (2011)

Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007. Proceedings /
Έκδοση: (2007)

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings /
Έκδοση: (2009)

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings /
Έκδοση: (2008)

Internet Science Second International Conference, INSCI 2015, Brussels, Belgium, May 27-29, 2015, Proceedings /
Έκδοση: (2015)

Web Engineering 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 /
Έκδοση: (2011)

Advances in Social Network Mining and Analysis Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008 /
Έκδοση: (2010)

Scalable Uncertainty Management 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014. Proceedings /
Έκδοση: (2014)

Scalable Uncertainty Management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings /
Έκδοση: (2012)

Computational Social Networks 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings /
Έκδοση: (2015)

Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings /
Έκδοση: (2016)

Modeling and Using Context 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings /
Έκδοση: (2015)

Scalable Uncertainty Management 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings /
Έκδοση: (2013)

Scalable Uncertainty Management 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings /
Έκδοση: (2015)

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

Cannot write session to /tmp/vufind_sessions/sess_ojqjoh2832k1ku0vlf1tpa90bb