Formal and material consequence.

Published in: J. Philos. Log. (1994)

Keyphrases

formal model
formal methods
neural network
formal models
machine learning
artificial intelligence
social networks
high level
wide range
support vector
information technology
evolutionary algorithm
mathematical theory