Computer-Oriented Sequent Inferring without Preliminary Skolemization.

Alexander V. Lyaletski

Published in: IIS (2003)

Keyphrases

computer systems
neural network
computer programming
computer controlled
database
learning algorithm
early vision
databases
knowledge base
multiscale
expert systems
human computer interaction
computer programs