Login / Signup
LORES - Logic Reorganization System.
Shunichiro Nakamura
Shinichi Murai
Chiyoji Tanaka
Masayuki Terai
Hideo Fujiwara
Kozo Kinoshita
Published in:
DAC (1978)
Keyphrases
</>
predicate logic
real world
modal logic
logic programming
sound and complete axiomatization
automated reasoning
evolutionary algorithm
similarity measure
image processing
decision making
multi valued
logical framework
classical logic
neural network
asynchronous circuits
logic synthesis
databases