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 /

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...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Jeuring, Johan
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Seri Bilgileri:	Lecture Notes in Computer Science 7362
Konular:	Computer science. Logic design. Algebra > Data processing. Information storage and retrieval systems. Artificial intelligence.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Intelligent computer mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Logics in artificial intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Computers helping people with special needs : 13th International conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2012)

Computers helping people with special needs : 13th International conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2012)

Collaboration and technology 18th International conference, CRIWG 2012 Raesfeld, Germany, September 16-19, 2012 Proceedings /
Baskı/Yayın Bilgisi: (2012)

Agents and artificial intelligence : 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Business process management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Artificial intelligence and symbolic computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Web engineering 12th international conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. proceedings /
Baskı/Yayın Bilgisi: (2012)

Enterprise, usiness-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings /

Hybrid learning 5th international conference, ICHL 2012, Guangzhou, China, August 13-15, 2012. proceedings /
Baskı/Yayın Bilgisi: (2012)

User modeling, adaptation, and personalization : 20th International conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Intelligent computing theories and applications 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Artificial intelligence and soft computing: 11th International conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2012)

Artificial intelligence and soft computing : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2012)

Hybrid artificial intelligent systems : 7th International conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I /
Baskı/Yayın Bilgisi: (2012)

Hybrid artificial intelligent systems : 7th International conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II /
Baskı/Yayın Bilgisi: (2012)

Distributed computing and internet technology : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings /
Yazar:: Ramanujam, R.
Baskı/Yayın Bilgisi: (2012)

Business information systems : 15th International conference, BIS 2012, Vilnius, Lithuania, May 21-23, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Computational linguistics and intelligent text processing : 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part I /
Baskı/Yayın Bilgisi: (2012)

Computational linguistics and intelligent text processing : 13th International Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings, Part II /
Baskı/Yayın Bilgisi: (2012)

Enabling real-time business intelligence : 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Advances in web-based learning - ICWL 2012 11th International Conference, Sinaia, Romania, September 2-4, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Perspectives in business informatics research 11th International Conference, BIR 2012, Nizhny Novgorod, Russia, September 24-26, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Electronic participation 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012. Proceedings /
Yazar:: Tambouris, Efthimios
Baskı/Yayın Bilgisi: (2012)

Advances in computational intelligence 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 /
Baskı/Yayın Bilgisi: (2012)

Advances in computational intelligence 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 /
Baskı/Yayın Bilgisi: (2012)

Advances on computational intelligence 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 /
Baskı/Yayın Bilgisi: (2012)

Advances in computational intelligence 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 /
Baskı/Yayın Bilgisi: (2012)

Advances in intelligent data analysis XI : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Ad-hoc, mobile, and wireless networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Electronic government 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

KI 2012: Advances in artificial intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Advances in brain inspired cognitive systems 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Scalable uncertainty management 6th International Conference, SUM 2012, Marburg, Germany, September 17-19, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Multidisciplinary information retrieval : 5th International retrieval facility conference, IRFC 2012, Vienna, Austria, July 2-3, 2012 Proceedings /
Baskı/Yayın Bilgisi: (2012)

Mobile computing, applications, and services 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012. revised selected papers /
Baskı/Yayın Bilgisi: (2013)

PRICAI 2012: trends in artificial intelligence 12th Pacific Rim International Conference on artificial intelligence, Kuching, Malaysia, September 3-7, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Artificial intelligence: methodology, systems, and applications 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)