Papers and abstracts."Calculemus 2007 was the 14th in a series of conferences dedicated to the integration of computer algebra systems (CAS) and autom...
"Calculemus 2007 was the 14th in a series of conferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS) ." -- pref.
書誌注記
Includes bibliographical references and author index.