Login / Signup

From Sets to Bits in Coq.

Arthur BlotPierre-Évariste DagandJulia Lawall
Published in: FLOPS (2016)
Keyphrases
  • website
  • expert systems
  • artificial intelligence
  • search algorithm
  • theorem prover