Login / Signup

Integrating Gandalf and HOL.

Joe Hurd
Published in: TPHOLs (1999)
Keyphrases
  • theorem prover
  • feature extraction
  • bayesian networks
  • cooperative
  • formal methods
  • data sets
  • databases
  • neural network