Balancing Lists: A Proof Pearl.

Guyslain Naves Arnaud Spiwack

Published in: ITP (2014)

Keyphrases

databases
neural network
belief revision
geometry theorem proving
artificial intelligence
theorem prover
belief change
case study
theorem proving
causal models
linear logic