Font Size: a A A
Keyword [α-Resolution]
Result: 1 - 4 | Page: 1 of 1
1. Î±-generalized Lock Resolution Automated Reasoning For Linguistic Truth-valued Lattice-valued Logic Based On Lattice Implication Algebras
2. On α-Quasi-Lock Semantic Resolution Automated Reasoning Based On Lattice-Valued Logic
3. Semantic Resolution Automated Reasoning For Linguistic Truth-Valued Lattice-Valued Logic Based On Lattice Implication Algebras
4. On Multi-Ary α-Sematic Resolution Automated Reasoning Based On Lattice-Valued Logic
  <<First  <Prev  Next>  Last>>  Jump to