Towards Mechanized Mathematical Assistants [Risorsa elettronica] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Mi
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2007
ISBN
9783540730866
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4573