Showing 1 - 3 results of 3 for search 'Birštunas, Adomas', query time: 0.08s Refine Results
  1. 1
    Sequent calculi with an efficient loop-check for BDI logics
    by Birštunas, Adomas
    Published 2010
    Get full text
    Doctoral Thesis
  2. 2
    Sekvenciniai skaičiavimai BDI logikoms su efektyvia ciklų paieška
    by Birštunas, Adomas
    Published 2010
    Get full text
    Doctoral Thesis
  3. 3
    SignaTM – Towards Electronic Document Cross-Border Interoperability
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search