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] 6 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 5 Treffer
- [info]computer science [cs] 3 Treffer
- control 3 Treffer
- inverted pendulum 3 Treffer
-
15 weitere Werte:
- stability 3 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.2: correctness proofs 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory/d.3.1.0: semantics 2 Treffer
- acm: d.: software/d.3: programming languages/d.3.2: language classifications/d.3.2.0: applicative (functional) languages 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 2 Treffer
- fault-tolerance 2 Treffer
- isomorphisms 2 Treffer
- proof assistant 2 Treffer
- computer algebra 1 Treffer
- gcd 1 Treffer
- polynomials 1 Treffer
- subresultants 1 Treffer
Verlag
Sprache
Geographischer Bezug
8 Treffer
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://hal.inria.fr/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01639819 ; CPP 2018 - 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.1-14, ⟨10.1145/3167101⟩ ; https://popl18.sigplan.org/track/CPP-2018, 2018Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.science/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: Conference on Intelligent Computer Mathematics ; https://hal.archives-ouvertes.fr/hal-01152588 ; Conference on Intelligent Computer Mathematics, 2015, Washington, D.C., United States, 2015Online KonferenzZugriff:
-
In: Automated Reasoning, Third International Joint Conference, IJCAR 2006 ; https://hal.inria.fr/inria-00001270 ; Automated Reasoning, 2006Online KonferenzZugriff:
-
In: Formal Methods in Computer-Aided Design (FMCAD 2015) ; https://inria.hal.science/hal-01253127 ; Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States, 2015KonferenzZugriff:
-
In: Formal Methods in Computer-Aided Design (FMCAD 2015) ; https://hal.inria.fr/hal-01253127 ; Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States, 2015KonferenzZugriff: