Login / Signup

A New Incompleteness Result for Hoare's System

Mitchell Wand
Published in: STOC (1976)
Keyphrases
  • real world
  • information retrieval
  • neural network
  • similarity measure
  • high quality
  • multi agent systems
  • management system