Proving Theorems by Construction of Valid Formulae.

Published in: IFIP Congress (1986)

Keyphrases

construction process
case study
genetic algorithm
multimedia
computer science
real time
computer vision
information systems
image processing
artificial neural networks
management system
propositional logic