Sign in

Program verification prize.

Robert S. BoyerJ. Strother Moore
Published in: ACM SIGSOFT Softw. Eng. Notes (1983)
Keyphrases
  • turing test
  • workshop on data mining
  • real world
  • artificial intelligence
  • cooperative
  • database