Showing 1 - 4 of 4 Results
1.
Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International C... by Davenport, James H., Farmer... ISBN: 9783642226724 List Price: $83.00
2.
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Aust... by Rabe, Florian, Farmer, Will... ISBN: 9783319968117 List Price: $69.99
3.
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants by Rabe, Florian ISBN: 9781605589541 List Price: $99.00