Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 34 Treffer
- proof assistant 20 Treffer
- higher-order logic 12 Treffer
- automated theorem proving 10 Treffer
- rewriting 10 Treffer
-
45 weitere Werte:
- explicit substitutions 9 Treffer
- phil 7 Treffer
- type theory 7 Treffer
- calculus of inductive constructions 5 Treffer
- model checking 5 Treffer
- proof 5 Treffer
- reactive systems 5 Treffer
- socio 5 Treffer
- synchronous model 5 Treffer
- verification 5 Treffer
- abstract interpretation 4 Treffer
- calculus of constructions 4 Treffer
- formal methods 4 Treffer
- formal proofs 4 Treffer
- induction 4 Treffer
- java card 4 Treffer
- lambda-calculus 4 Treffer
- lang 4 Treffer
- static analysis 4 Treffer
- theorem proving 4 Treffer
- co-induction 3 Treffer
- deduction modulo 3 Treffer
- elementary functions 3 Treffer
- expansion 3 Treffer
- floating point 3 Treffer
- floating-point 3 Treffer
- formal proof 3 Treffer
- higher-order abstract syntax 3 Treffer
- ieee 754 standard 3 Treffer
- memory analysis 3 Treffer
- multiple precision 3 Treffer
- normalization 3 Treffer
- norme ieee 754 3 Treffer
- numerical code 3 Treffer
- on-line 3 Treffer
- preuve formelle 3 Treffer
- skolemization 3 Treffer
- theorem 3 Treffer
- virgule flottante 3 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- angle 2 Treffer
- assistant de preuve 2 Treffer
- automated deduction 2 Treffer
- buchberger's algorithm 2 Treffer
- calcul de reecriture 2 Treffer
88 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.inria.fr/inria-00072797 ; [Research Report] RR-3859, INRIA. 2000, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072808 ; [Research Report] RR-3848, INRIA. 1999, 1999Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072226 ; RR-4362, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072232 ; RR-4356, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072316 ; RR-4271, INRIA. 2001, 2001Online reportZugriff:
-
In: https://hal.inria.fr/inria-00069967 ; [Research Report] RT-0204, INRIA. 1997, pp.44, 1997Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072235 ; RR-4353, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072591 ; [Research Report] RR-4047, INRIA. 2000, pp.53, 2000Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072970 ; RR-3698, INRIA. 1999, 1999Online reportZugriff:
-
In: https://inria.hal.science/inria-00072113 ; [Research Report] RR-4475, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00072113 ; [Research Report] RR-4475, INRIA. 2002, 2002Online reportZugriff:
-
In: https://hal.inria.fr/inria-00074124 ; RR-2556, INRIA. 1995, 1995Online reportZugriff:
-
In: https://hal.inria.fr/inria-00073667 ; [Research Report] RR-3026, INRIA. 1996, 1996Online reportZugriff:
-
In: https://inria.hal.science/inria-00448751 ; [Research Report] RR-2009-07, 2009Online reportZugriff:
-
In: https://hal.inria.fr/inria-00448751 ; [Research Report] RR-2009-07, 2009Online 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: