Hlavní stránka > Výsledky hledání: keywords:"bang"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
 Beuster, G. ; Neruda, Roman ; Pelzer, B.
Plný tet: v955-06 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF
Úplný záznam
Formal Reasoning in the Bang3 Multi-Agent System
 Beuster, Gerd
Plný tet: v889-03 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English