Basic Superposition is Complete.

Robert Nieuwenhuis Albert Rubio

Published in: ESOP (1992)

Keyphrases

theorem proving
neural network
artificial intelligence
image sequences
face recognition
multiscale
cooperative
preprocessing
artificial neural networks
management system