Login / Signup

Formally Linking MDG and HOL Based on a Verified MDG System.

Haiyan XiongPaul CurzonSofiène TaharAnn Blandford
Published in: IFM (2002)
Keyphrases
  • theorem prover
  • neural network
  • training data
  • pattern recognition
  • pairwise
  • management system