Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 22 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 20 Treffer
- [info]computer science [cs] 17 Treffer
- assistant de preuve 15 Treffer
- constructivism 11 Treffer
-
45 weitere Werte:
- induction 11 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 10 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 8 Treffer
- abstract interpretation 8 Treffer
- formal proofs 7 Treffer
- nash equilibrium 7 Treffer
- subgame perfect equilibrium 7 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 6 Treffer
- certification 5 Treffer
- model checking 5 Treffer
- reactive systems 5 Treffer
- synchronous model 5 Treffer
- verification 5 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- abstract sequential game 4 Treffer
- acm: d.: software/d.2: software engineering 4 Treffer
- binary relation 4 Treffer
- cellular automata 4 Treffer
- interpretation abstraite 4 Treffer
- linear extension 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 3 Treffer
- assistant a la preuve 3 Treffer
- automate cellulaire 3 Treffer
- calculus of inductive constructions 3 Treffer
- co-induction 3 Treffer
- common knowledge 3 Treffer
- dynamic logic 3 Treffer
- elementary functions 3 Treffer
- floating-point 3 Treffer
- games 3 Treffer
- i.2.4 knowledge representation formalisms and methods 3 Treffer
- numerical code 3 Treffer
- recurrence 3 Treffer
- termination 3 Treffer
- topological sorting 3 Treffer
- unification 3 Treffer
- acm i.2.3 deduction and theorem proving 2 Treffer
- automatic theorem proving 2 Treffer
- calcul de reecriture 2 Treffer
- deep embedding 2 Treffer
- evolutionary algorithm 2 Treffer
- games in extensive form 2 Treffer
- preuve automatique 2 Treffer
- reecriture 2 Treffer
- rewriting calculus 2 Treffer
Verlag
Sprache
56 Treffer
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://inria.hal.science/inria-00069919 ; RT-0255, INRIA. 2002, pp.290, 2002Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101837 ; [Research Report] LIP RR-2002-14, Laboratoire de l'informatique du parallélisme. 2002, 2+36p, 2002Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101837 ; [Research Report] LIP RR-2002-14, Laboratoire de l'informatique du parallélisme. 2002, 2+36p, 2002Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101837 ; [Research Report] LIP RR-2002-14, Laboratoire de l'informatique du parallélisme. 2002, 2+36p, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00069967 ; [Research Report] RT-0204, INRIA. 1997, pp.44, 1997Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072888 ; [Research Report] RR-3773, INRIA. 1999, 1999Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072888 ; [Research Report] RR-3773, INRIA. 1999, 1999Online reportZugriff:
-
In: https://inria.hal.science/inria-00072888 ; [Research Report] RR-3773, INRIA. 1999, 1999Online reportZugriff:
-
In: https://inria.hal.science/inria-00072888 ; [Research Report] RR-3773, INRIA. 1999, 1999Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072888 ; [Research Report] RR-3773, INRIA. 1999, 1999Online reportZugriff:
-
In: ftp://ftp.ens-lyon.fr/pub/LIP/Rapports/RR/RR2002/RR2002-14.ps.gz, 2002Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-02972245 ; 2020, 2020Online reportZugriff:
-
In: https://hal-ens-lyon.archives-ouvertes.fr/ensl-01391418 ; 2016, 2016Online reportZugriff:
-
In: https://hal.science/hal-01272158 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2016, 2016Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-01272158 ; [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2016, 2016Online reportZugriff:
-
In: https://hal.inria.fr/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://inria.hal.science/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff:
-
In: https://inria.hal.science/inria-00000866 ; [Research Report] PI 1764, 2005, pp.35, 2005Online reportZugriff: