Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- calculus 11 Treffer
- logic 11 Treffer
- sequent 11 Treffer
- temporal 6 Treffer
- cut 5 Treffer
-
24 weitere Werte:
- rule 5 Treffer
- agents 3 Treffer
- commitment 3 Treffer
- cut rule 3 Treffer
- dynamic 3 Treffer
- knowledge 3 Treffer
- past temporal operators 3 Treffer
- soundness 3 Treffer
- wishes 3 Treffer
- admissibility 2 Treffer
- correctness 2 Treffer
- likelihood 2 Treffer
- logic of knowledge 2 Treffer
- mathematics 2 Treffer
- multi-agent 2 Treffer
- perfect 2 Treffer
- qa1-939 2 Treffer
- recall 2 Treffer
- rule invertibility 2 Treffer
- sequent calculi 2 Treffer
- structural 2 Treffer
- system 2 Treffer
- temporal logic 2 Treffer
- interaction 1 Treffer
Publikation
Sprache
6 Treffer
-
In: Lietuvos Matematikos Rinkinys, Jg. 51 (2010-12-01), Heft proc. LMSOnline academicJournalZugriff:
-
In: Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai, 2010, T. 51, p. 347-351 ; ISSN 0132-2818, 2010KonferenzZugriff:
-
In: Lietuvos matematikos rinkinys, 2004, T. 44, Nr. 2, p. 209-224 ; ISSN 0132-2818, 2004academicJournalZugriff:
-
In: Lietuvos matematikos rinkinys, 2005, T. 45, Nr. 2, p. 261-269 ; ISSN 0132-2818, 2005academicJournalZugriff:
-
In: Lietuvos matematikos rinkinys, 2005, T. 45, Nr. 1, p. 3-21 ; ISSN 0132-2818, 2005academicJournalZugriff:
-
In: Lietuvos matematikos rinkinys, 2004, T. 44, Nr. 3, p. 307-314 ; ISSN 0132-2818, 2004academicJournalZugriff: