Mathematical Reasoning: The History and Impact of the DReaM Group

Häftad, Engelska, 2022

2 159 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Mathematical Reasoning: The History and Impact of the DReaM Group will attract considerable interest from researchers and practitioners of Automated Reasoning, including postgraduates.

Produktinformation

Utgivningsdatum2022-11-22
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
Antal sidor162
FörlagSpringer Nature Switzerland AG
ISBN9783030778811

Tillhör följande kategorier

Du kanske också är intresserad av

Computation and its Limits

Paul Cockshott, Lewis M Mackenzie, Gregory Michaelson, University of Glasgow) Cockshott, Paul (Reader, Department of Computing Science, University of Glasgow) Mackenzie, Lewis M (Senior Lecturer, Department of Computing Science, Edinburgh) Michaelson, Gregory (Professor of Computing Science, Heriot-Watt University

Inbunden

1 519 kr

Computation and its Limits

Paul Cockshott, Lewis M. Mackenzie, Gregory Michaelson, Lewis M Mackenzie, University of Glasgow) Cockshott, Paul (Reader, Department of Computing Science, University of Glasgow) Mackenzie, Lewis M (Senior Lecturer, Department of Computing Science, Edinburgh) Michaelson, Gregory (Professor of Computing Science, Heriot-Watt University

Häftad

669 kr