Freek Wiedijk (Ed.), The Seventeen Provers of the World.

Published in: Stud Logica (2007)

Keyphrases

world model
artificial intelligence
real world
expert systems
scheduling problem
databases
neural network
genetic algorithm
information systems
case study
three dimensional
feature extraction
theorem proving