Cite this
Email this
Export Record
Save to List
Order a print copy

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

Full description

Saved in:
Bibliographic Details
Other Authors: Kauers, Manuel (Editor) 
Kerber, Manfred (Editor)
Miner, Robert (Editor)
Windsteiger, Wolfgang, 1967- (Editor) 
Corporate Author: SpringerLink (online služba)  
Format: eBook
Language:English
Published: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2007
Series:Lecture Notes in Computer Science
Genre/form:elektronické knihy
ISBN:978-3-540-73086-6
9783540730835
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number