Integrating Reasoning About Ordinal Arithmetic into ACL2.

Panagiotis Manolios Daron Vroon

Published in: FMCAD (2004)

Keyphrases

neural network
formal theory
databases
information retrieval
similarity measure
constraint propagation
floating point
spatial reasoning
qualitative decision theory