Login / Signup

A logic verifier based on Boolean comparison.

Gotaro OdawaraMasahiro TomitaOsamu OkuzawaTomomichi OhtaZhen-quan Zhuang
Published in: DAC (1986)
Keyphrases
  • multi valued
  • boolean logic
  • logic programming
  • boolean functions
  • automated reasoning
  • databases
  • multiscale
  • data structure
  • expert systems
  • artificial neural networks
  • real valued
  • modal logic
  • classical logic
  • truth values