Polytypic Proof Construction.

Holger Pfeifer Harald Rueß

Published in: TPHOLs (1999)

Keyphrases

image processing
face recognition
construction process
data sets
data mining
genetic algorithm
search engine
social networks
computer vision
information systems
decision making
knowledge base
artificial neural networks
automatic construction
linear logic
mathematical proofs