Cirquent Calculus Deepened.

Giorgi Japaridze

Published in: J. Log. Comput. (2008)

Keyphrases

computer algebra
automated deduction
algebraic structure
database
data sets
neural network
feature selection
web pages
case study
database systems
expert systems
natural deduction
timed automata