research
∙
04/21/2020
The Imandra Automated Reasoning System (system description)
We describe Imandra, a modern computational logic theorem prover designe...
share
research
∙
01/31/2015
The Search for Computational Intelligence
We define and explore in simulation several rules for the local evolutio...
research
∙
03/12/2013
