Converting Non-Classical Matrix Proofs into Sequent-Style Systems.

Stephan Schmitt Christoph Kreitz

Published in: CADE (1996)

Keyphrases

learning systems
case study
distributed systems
neural network
information retrieval
artificial intelligence
search engine
computer vision
multimedia
intelligent systems
computer systems
knowledge based systems
building blocks
theorem proving