Intelligent Computer Mathematics
Intelligent Computer Mathematics
Andrea Kohlhase
,
Claudio Sacerdoti Coen
,
Edwin Brady
,
Cezary Kaliszyk
Details
OL Work ID
OL20815482W
Find this book
Open Library