Legal shifts in the process of proof.

Floris Bex Bart Verheij

Published in: ICAIL (2011)

Keyphrases

databases
database
real world
artificial intelligence
search engine
case study
bayesian networks
theorem proving