Treffer 1 - 5 von 5 für Suche 'Birstunas, Adomas', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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: