Tutorial on Program-Synthetic Deduction.

Richard J. Waldinger

Published in: CADE (1990)

Keyphrases

artificial intelligence
real world
programming environment
learning environment
real images are presented
real time
neural network
three dimensional
real scenes