Login / Signup

Variations on a theme of Bernays.

John R. Myhill
Published in: Notre Dame J. Formal Log. (1963)
Keyphrases
  • satisfiability problem
  • real world
  • artificial intelligence
  • high quality
  • multi agent systems
  • multiresolution
  • special case
  • view angle