Equality in computer proof-assistants.

Adam Grabowski Artur Kornilowicz Christoph Schwarzweller

Published in: FedCSIS (2015)

Keyphrases

computer systems
intelligent agents
computer software
evolutionary algorithm
machine intelligence
computer controlled
artificial intelligence
website
bayesian networks
reinforcement learning
probabilistic model
complete axiomatization