Amanote Research
Register
Sign In
Computable Decision Making on the Reals and Other Spaces
doi 10.1145/3209108.3209193
Full Text
Open PDF
Abstract
Available in
full text
Date
July 9, 2018
Authors
Benjamin Sherman
Luke Sciarappa
Adam Chlipala
Michael Carbin
Publisher
ACM