A survey of mechanical support for formal reasoning.

Peter A. Lindsay

Published in: Softw. Eng. J. (1988)

Keyphrases

formal models
neural network
web services
software engineering
formal model
data sets
machine learning
genetic algorithm
knowledge base
digital libraries
knowledge representation
decision support
meta level
reasoning tasks
knowledge processing