Font Size: a A A
Keyword [First order logic]
Result: 1 - 9 | Page: 1 of 1
1. The Study Of Uncertainty Reasoning Based On Lattice-Valued First Order Logic And Its Application
2. The Study Of Uncertainty Reasoning For Linguistic Truth-Valued Lattice-Valued First-Order Logic
3. A Study Of Formalization And Validation Of Group Theory Problem
4. The role of first-order logic in analysis of several complex variables
5. Disproving in First-Order Logic with Definitions, Arithmetic and Finite Domain
6. Basic model theory of finitary and infinitary languages of first-order logic with dependent sorts (FOLDS)
7. A formalization of logic in diagonal-free cylindric algebra
8. Automated theorem proving in the ProTem programming language
9. Generalized Modal Logic And Resolution Automated Reasoning Based On Linguistic Truth-valued Lattice Implication Algebra
  <<First  <Prev  Next>  Last>>  Jump to