Cargando…

Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings /

This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathema...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Jeuring, Johan (Editor ), Campbell, John (Editor ), Carette, Jacques (Editor ), Dos Reis, Gabriel (Editor ), Sojka, Petr (Editor ), Wenzel, Makarius (Editor ), Sorge, Volker (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Lecture Notes in Artificial Intelligence, 7362
Temas:	Computer science-Mathematics. Artificial intelligence. Machine theory. Computer science. Information storage and retrieval systems. Symbolic and Algebraic Manipulation. Artificial Intelligence. Mathematical Applications in Computer Science. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Information Storage and Retrieval.
Acceso en línea:	Texto Completo

Ejemplares similares

Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Publicado: (2014)

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings /
Publicado: (2013)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Publicado: (2014)

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
Publicado: (2015)

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy /
por: Kohlhase, Michael
Publicado: (2006)

Advances in Computational Intelligence, Part III 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part III /
Publicado: (2012)

Advances in Computational Intelligence, Part I 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I /
Publicado: (2012)

Advances in Computational Intelligence, Part IV 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV /
Publicado: (2012)

Advances in Computational Intelligence, Part II 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II /
Publicado: (2012)

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings /
Publicado: (2012)

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers /
Publicado: (2013)

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
Publicado: (2005)

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings /
Publicado: (2012)

PRICAI 2012: Trends in Artificial Intelligence 12th Pacific Rim International Conference, Kuching, Malaysia, September 3-7, 2012. Proceedings /
Publicado: (2012)

Controlled Natural Language Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings /
Publicado: (2012)

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings /
Publicado: (2012)

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings /
Publicado: (2006)

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers /
Publicado: (2015)

Contemporary Computing 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings /
Publicado: (2012)

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /
Publicado: (2012)

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008, Proceedings /
Publicado: (2008)

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers /
Publicado: (2011)

Ubiquitous Social Media Analysis Third International Workshops MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012, Revised Selected Papers /
Publicado: (2013)

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part I /
Publicado: (2012)

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012, Proceedings, Part II /
Publicado: (2012)

Formal Concept Analysis Foundations and Applications /
Publicado: (2005)

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers /
Publicado: (2006)

Computational Processing of the Portuguese Language 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings /
Publicado: (2012)

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
Publicado: (2008)

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
Publicado: (2008)

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings /
Publicado: (2005)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I /
Publicado: (2011)

Machine Learning and Knowledge Discovery in Databases, Part III European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III /
Publicado: (2011)

Machine Learning and Knowledge Discovery in Databases, Part II European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II /
Publicado: (2011)

Rough Sets and Current Trends in Computing 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings /
Publicado: (2012)

Intelligent Information Processing VI 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings /
Publicado: (2012)

Swarm and Evolutionary computation International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings /
Publicado: (2012)

Advances in Brain Inspired Cognitive Systems 5th International Conference, BICS 2012, Shenyang, Liaoning, China, July 11-14, 2012 Proceedings /
Publicado: (2012)

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings /
Publicado: (2007)

Advances in Natural Language Processing 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings /
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_bdhsics5bjno4va2eou963api5