A Confluent Theory Connection Calculus.

Published in: TABLEAUX (2002)

Keyphrases

theoretical framework
theoretical basis
computer algebra
computational model
real time
databases
artificial intelligence
evolutionary algorithm
general theory
formal theory
automated deduction