Greg Michaelson is Emeritus Professor of Computer Science at Heriot Watt University in Edinburgh. With research focused on properties of programming languages and programs, and how people learn programming, he has enjoyed long standing collaborations with DRea M Group colleagues.
3 Електронні книги від Gregory Michaelson
Paul Cockshott & Lewis M. Mackenzie: Computation and its Limits
Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so ef …
PDF
Англійська
DRM
€34.15
Paul Cockshott & Lewis M. Mackenzie: Computation and its Limits
Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so ef …
EPUB
Англійська
DRM
€38.06
Gregory Michaelson: Mathematical Reasoning: The History and Impact of the DReaM Group
This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated Reasoning is interpreted liberall …
PDF
Англійська
€160.49
