Treffer 1 - 6 von 6 für Suche 'Birštunas, Adomas', Suchdauer: 0,53s Treffer weiter einschränken
  1. 1
    Efficient loop-check for multimodal KD45n logic

    Efficient loop-check for multimodal KD45n logic von Birštunas, Adomas

    Veröffentlicht in Lietuvos matematikos rinkinys

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Grouping based calculus for propositional linear temporal logic

    Grouping based calculus for propositional linear temporal logic von Ragauskas, Kostas, Birštunas, Adomas

    Veröffentlicht in Lietuvos matematikos rinkinys

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logical derivation search with assumption traceability

    Logical derivation search with assumption traceability von Birštunas, Adomas, Reivytytė, Elena

    Veröffentlicht in Lietuvos matematikos rinkinys

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Sequent calculus usage for BDI agent implementation

    Sequent calculus usage for BDI agent implementation von Birstunas, Adomas

    Veröffentlicht in Lietuvos matematikos rinkinys

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    SignaTM – Towards Electronic Document Cross-Border Interoperability

    SignaTM – Towards Electronic Document Cross-Border Interoperability von Besson, Jeremy, Birstunas, Adomas, Mitasiunas, Antanas, Stockus, Arunas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Signa TM – Towards Electronic Document Cross-Border Interoperability

    Signa TM – Towards Electronic Document Cross-Border Interoperability von Besson, Jeremy, Birstunas, Adomas, Mitasiunas, Antanas, Stockus, Arunas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: