Algebraic Approach to Logical Inference Implementation.

Boris Kulik Alexander Fridman Alexander Zuenko

Published in: Comput. Informatics (2012)

Keyphrases

logical inference
database systems
artificial intelligence
higher order
database design