Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Philosophy of mathematics / Symbolic computation / Applied mathematics / Algorithm / Computer algebra system / Mathematica / Actor model / Science / Mathematics / Mathematical software


professors William Farmer & Jacques Carette Mechanising mathematics
Add to Reading List

Document Date: 2013-05-23 14:39:30

Open Document

File Size: 332,71 KB

Share Result on Facebook
UPDATE