Login / Signup
Formally Linking MDG and HOL Based on a Verified MDG System.
Haiyan Xiong
Paul Curzon
Sofiène Tahar
Ann Blandford
Published in:
IFM (2002)
Keyphrases
</>
theorem prover
neural network
training data
pattern recognition
pairwise
management system