Normal view
MARC view
Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen(Personal Name)
Machine generated authority record
Work cat.: (OSt)1639929: Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, Intelligent Computer Mathematics