Searching games with errors---fifty years of coping with liars
Theoretical Computer Science
Automated deduction for many-valued logics
Handbook of automated reasoning
The algebras of łukasiewicz many-valued logic: a historical overview
Algebraic and proof-theoretic aspects of non-classical logics
| Hi-index | 0.00 |