Login / Signup

Quality of designs from an automatic logic generator (ALERT).

Theodore D. FriedmanSih-Chin Yang
Published in: DAC (1970)
Keyphrases
  • high quality
  • higher quality
  • data driven
  • quality assessment
  • social networks
  • logic programming
  • semi automatic
  • real time
  • databases
  • machine learning
  • search engine
  • computational properties
  • predicate logic
  • deontic logic