Keyphrases
- computer algebra
- human reasoning
- logic programming
- classical logic
- automated reasoning
- asynchronous circuits
- multi valued
- learning environment
- artificial intelligence
- logical framework
- genetic algorithm
- database
- set theory
- real world
- predicate logic
- collaborative writing
- defeasible logic
- proof theory
- formal logic
- dynamic logic
- epistemic logic
- digital circuits
- website
- real time