Skip to content

No image available
No image available

Mathematical Reasoning: The History and Impact of the Dream Group Paperback - 2022

by Gregory Michaelson (Editor)


From the rear cover

This collection of essays from key practitioners examines the key achievements and likely developments in the area of automated reasoning. It starts with a technically oriented history of the Edinburgh Automated Reasoning Group, written Alan Bundy. This is followed by essays from leading researchers associated with the group on related topics such as argumentation, computational creativity, secure software, and trustworthy software, encompassing theory, tools, applications and pedagogy.

Details

  • Title Mathematical Reasoning: The History and Impact of the Dream Group
  • Author Gregory Michaelson (Editor)
  • Binding Paperback
  • Pages 162
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2022-11-22
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783030778811 / 3030778819
  • Weight 0.59 lbs (0.27 kg)
  • Dimensions 9.21 x 6.14 x 0.39 in (23.39 x 15.60 x 0.99 cm)

About the author

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 DReaM Group colleagues.
Back to Top

More Copies for Sale

No image available

Mathematical Reasoning: The History and Impact of the DReaM Group

by Michaelson, Gregory (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783030778811 / 3030778819
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£177.87
£10.00 shipping to USA

Show Details

Description:
Springer, 2022. Paperback. New. 181 pages. 9.25x6.10x0.43 inches.
Item Price
£177.87
£10.00 shipping to USA
No image available

Mathematical Reasoning: The History and Impact of the DReaM Group

  • New
Condition
New
ISBN 10 / ISBN 13
9783030778811 / 3030778819
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£171.87
£3.18 shipping to USA

Show Details

Description:
1st ed. 2021 edition NO-PA16APR2015-KAP. Papeback. New.
Item Price
£171.87
£3.18 shipping to USA