Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- common knowledge 3 Treffer
- constructivism 3 Treffer
- dynamic logic 3 Treffer
-
15 weitere Werte:
- formal proofs 3 Treffer
- games 3 Treffer
- i.2.4 knowledge representation formalisms and methods 3 Treffer
- induction 3 Treffer
- nash equilibrium 3 Treffer
- subgame perfect equilibrium 3 Treffer
- abstract sequential game 2 Treffer
- acm i.2.3 deduction and theorem proving 2 Treffer
- games in extensive form 2 Treffer
- acm: f.: theory of computation 1 Treffer
- coinduction 1 Treffer
- coq 1 Treffer
- extensive game 1 Treffer
- infinite game 1 Treffer
- sequential game 1 Treffer
Sprache
10 Treffer
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-01391418 ; 2016, 2016Online reportZugriff:
-
In: https://inria.hal.science/inria-00148103 ; [Research Report] 2007, pp.41, 2007Online reportZugriff:
-
In: https://inria.hal.science/inria-00148103 ; [Research Report] 2007, pp.41, 2007Online reportZugriff:
-
In: https://hal.inria.fr/inria-00148103 ; [Research Report] 2007, pp.41, 2007Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405 ; 2008, 2008Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405 ; 2008, 2008Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405 ; 2008, 2008Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00198782 ; 2007, 2007Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00198782 ; 2007, 2007Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-00198782 ; 2007, 2007Online reportZugriff: