Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-oh]computer science [cs]/other [cs.oh] 20 Treffer
- coq 13 Treffer
- reecriture 13 Treffer
- automated theorem proving 10 Treffer
- higher-order logic 10 Treffer
-
39 weitere Werte:
- [info]computer science [cs] 7 Treffer
- averroes 4 Treffer
- logical framework 4 Treffer
- phil 4 Treffer
- programming language 4 Treffer
- semantics 4 Treffer
- type theory 4 Treffer
- deduction naturelle 3 Treffer
- demonstrateur 3 Treffer
- lang 3 Treffer
- natural deduction 3 Treffer
- skolemization 3 Treffer
- spike 3 Treffer
- theorem prover 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- certification 2 Treffer
- deduction modulo 2 Treffer
- elan 2 Treffer
- polynomes 2 Treffer
- polynomials 2 Treffer
- preuve 2 Treffer
- proof 2 Treffer
- prototype 2 Treffer
- recurrence implicite 2 Treffer
- tautologie 2 Treffer
- tautology 2 Treffer
- terminaison 2 Treffer
- termination 2 Treffer
- computational system 1 Treffer
- concurrency 1 Treffer
- dedukti 1 Treffer
- equality test 1 Treffer
- performance 1 Treffer
- reduction 1 Treffer
- rust 1 Treffer
- sharing 1 Treffer
- socio 1 Treffer
- type checking 1 Treffer
- verification 1 Treffer
Sprache
29 Treffer
-
In: https://inria.hal.science/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099932 ; [Contrat] A04-R-505 || blanqui04e, 2004, 8 p, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000reportZugriff:
-
In: https://hal.inria.fr/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000reportZugriff:
-
In: https://inria.hal.science/inria-00099930 ; [Contrat] A04-R-487 || blanqui04c, 2004, 2004Online reportZugriff:
-
In: https://inria.hal.science/inria-00099931 ; [Contrat] A04-R-488 || blanqui04d, 2004, 7 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099931 ; [Contrat] A04-R-488 || blanqui04d, 2004, 7 p, 2004Online reportZugriff:
-
In: https://hal.inria.fr/inria-00099930 ; [Contrat] A04-R-487 || blanqui04c, 2004, 2004Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://hal-lara.archives-ouvertes.fr/hal-02101787 ; [Research Report] LIP 1996-26, Laboratoire de l'informatique du parallélisme. 1996, 2+14p, 1996Online reportZugriff:
-
In: https://inria.hal.science/inria-00099929 ; [Stage] A04-R-489 || hinderer04a, 2004, 2004reportZugriff:
-
In: https://hal.inria.fr/inria-00099929 ; [Stage] A04-R-489 || hinderer04a, 2004, 2004reportZugriff:
-
In: https://hal.science/hal-04470850 ; Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2024, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-03895834 ; 2022, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03895834 ; 2022, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03895834 ; 2022, 2022Online reportZugriff:
-
In: https://inria.hal.science/hal-03895834 ; 2022, 2022Online reportZugriff:
-
In: https://hal.inria.fr/hal-03143359 ; 2021, 2021Online reportZugriff:
-
In: https://inria.hal.science/inria-00077199 ; [Research Report] RR-3400, INRIA. 1998, pp.27, 1998Online reportZugriff: