Homepage
Open in app
Sign in
Get started
Financial Markets
Safety Critical
Tools
Machine Learning
Home
Tagged in
Logic
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Followers
143
Elsewhere
More, on Medium
Logic
Ewen Maclean
in
Imandra Inc.
Apr 26, 2018
The Wolf, Goat and Cabbage Exchange
Our last article introduced the notion of
Machine Reasonable APIs and Regulations. Here, we give…
Read more…
375