Computer Environments for Proof Construction.

Richard Scheines Wilfried Sieg

Published in: Interact. Learn. Environ. (1994)

Keyphrases

computer systems
dynamic environments
real world
robotic systems
data processing
automated theorem proving
linear logic
intelligent environments
theorem prover
computer technology
database
evolutionary algorithm
artificial neural networks
video sequences
web services
data mining
data sets