Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings /

PSZJBL

Bibliographic Details
Main Authors:	Calculemus 2007, (2007 : Hagenberg im Muhlkreis, Austria), Kauers, Manuel, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Algebra Mathematical analysis
Online Access:	http://dx.doi.org/10.1007/978-3-540-73086-6

Similar Items

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007: Proceedings /
by: CHES 2007 (2007 : Vienna, Austria), et al.
Published: (2007)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
by: FORMATS 2007 (2007 : Salzburg, Austria), et al.
Published: (2007)

Database programming languages [electronic resource]: 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers/
by: International Symposium on Database Programming Languages (11th : 2007 : Vienna, Austria), et al.
Published: (2007)

Computer analysis of images and patterns : 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007, proceedings /
by: International Conference on Computer Analysis of Images and Patterns (12th : 2007 : Vienna, Austria), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Smart graphicsh[electronic resource]: 8th international symposium, SG 2007, Kyoto, Japan, June 25-27, 2007 : proceedings/
by: International Symposium on Smart Graphics (8th : 2007 : Kyoto, Japan), et al.
Published: (2007)

HCI and usability for medicine and health care [electronic resource] : third symposium of the workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November 22, 2007 : proceedings/
by: USAB 2007 (2007 : Graz, Austria), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part I: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part II: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part III: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

13th International Conference on Electrical Bioimpedance and the 8th Conference on Electrical Impedance Tomography : ICEBI 2007, August 29th-September 2nd 2007, Graz, Austria /
by: International Conference on Electrical Bio-Impedance (13th : 2007 : Graz, Austria), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

Advanced parallel processing technologies [electronic resources]: 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings/
by: APPT 2007 (2007 : Guangzhou, China), et al.
Published: (2007)

Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
by: SAGA 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Data Integration in the life sciences [electronic resource]: 4th international workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007 : proceedings/
by: DILS 2007 (2007 : Philadelphia, Pa.), et al.
Published: (2007)

Algorithms - ESA 2007 [electronic resources]: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007: Proceedings/
by: ESA 2007 (2007 : Elat, Israel), et al.
Published: (2007)

Fundamentals of computation theory : 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings /
by: FCT 2007 (2007 : Budapest, Hungary), et al.
Published: (2007)

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /
by: SARA 2007 (2007 : Whistler, B.C.), et al.
Published: (c200)

Intelligent computer mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008 : proceedings /
by: AISC 2008 (2008 : Birmingham, England), et al.
Published: (2008)

Knowledge management : innovation, technology and cultures : proceedings of the 2007 International Conference on Knowledge Management, Vienna, Austria, 27-28 August 2007 /
by: International Conference on Knowledge Management ( 2007 : Vienna, Austria), et al.
Published: (2007)

Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

String Processing and Information Retrieval [electronic resource]: 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings/
by: SPIRE 2007 (2007 : Santiago, Chile), et al.
Published: (2007)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Stabilization, safety, and security of distributed systems [electronic resource]: 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings/
by: SSS 2007 (2007 : Paris, France), et al.
Published: (2007)

Information Security [electronic resource]: 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007: Proceedings/
by: ISC 2007 (2007 : Valparaiso, Chile), et al.
Published: (2007)

Hybrid Metaheuristics [electronic resource]: 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007: Proceedings/
by: HM 2007 (2007 : Dortmund, Germany), et al.
Published: (2007)

Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007: Proceedings /
by: UC 2007 (2007 : Kingston, Ont.), et al.
Published: (2007)

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007: Proceedings /
by: COSIT 2007 (2007 : Melbourne, Vic.), et al.
Published: (2007)

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)

Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /
by: SAT 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007: Proceedings /
by: FUN 2007 (2007 : Castiglioncello, Italy), et al.
Published: (2007)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)

Engineering Psychology and Cognitive Ergonomics [electronic resource] : 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: International Conference on Engineering Psychology and Cognitive Ergonomics (7th : 2007 : Beijing, China), et al.
Published: (2007)

Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007: Proceedings /
by: CDVE 2007 (2007 : Shanghai, China), et al.
Published: (2007)