|
| Ha Ryoung OH
| |
|
| |
|
|
Satisfiability Testing for Non-clausal Propositional Calculus by Using Petri Nets Won Ho CHUNG Ha Ryoung OH Myunghwan KIM | Publication: IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/04/25
Vol. E73-E
No. 4
pp. 539-544
Type of Manuscript:
PAPER Category: Graphs and Networks Keyword:
| | | Summary | Full Text:PDF | |
|
|