Showing 1 - 3 results of 3 for search 'Stasys Norgėla', query time: 0.01s Refine Results
  1. 1
    Parallel deduction-search algorithm for the predicate logic formulas

    Parallel deduction-search algorithm for the predicate logic formulas by Stasys Norgėla

    Published 1999-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A resolution calculus for modal logic S4

    A resolution calculus for modal logic S4 by Stasys Norgėla

    Published 2000-12-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Some decidable classes of modal logic S5

    Some decidable classes of modal logic S5 by Stasys Norgėla

    Published 1999-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: