Login / Signup

An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.

Gregory H. ChisholmBrian T. SmithAnthony S. Wojcik
Published in: J. Autom. Reason. (1989)
Keyphrases
  • automated reasoning
  • artificial intelligence
  • search algorithm
  • reasoning tasks
  • neural network
  • expert systems
  • pairwise