Adapting Calculational Logic to the Undefined.
Birgit SchiederManfred BroyPublished in: Comput. J. (1999)
Keyphrases
- modal logic
- computational properties
- logic programming
- classical logic
- theorem proving
- artificial intelligence
- asynchronous circuits
- artificial neural networks
- expressive power
- logic programs
- probabilistic logic
- image processing
- computer vision
- predicate logic
- machine learning
- linear logic
- natural deduction
- proof theory
- deductive reasoning