Login / Signup

Easily Reconstructable Logic Functions.

Tsutomu Sasao
Published in: ISMVL (2023)
Keyphrases
  • multi valued
  • modal logic
  • image processing
  • proof theory
  • neural network
  • genetic algorithm
  • website
  • case study
  • database systems
  • logical framework
  • classical logic
  • computational properties
  • nonmonotonic logics