Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 8 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
-
31 weitere Werte:
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 4 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 4 Treffer
- convex polyhedra 4 Treffer
- formal proofs 4 Treffer
- linear programming 4 Treffer
- [math.math-ra]mathematics [math]/rings and algebras [math.ra] 3 Treffer
- acm: i.: computing methodologies/i.2: artificial intelligence/i.2.3: deduction and theorem proving 3 Treffer
- computability theory 3 Treffer
- creative telescoping 3 Treffer
- diophantine equations 3 Treffer
- formal proof 3 Treffer
- irrationality 3 Treffer
- many-one reduction 3 Treffer
- minsky machines 3 Treffer
- number theory 3 Treffer
- riemann zeta function 3 Treffer
- simplex method 3 Treffer
- symbolic computation 3 Treffer
- type theory 3 Treffer
- undecidability 3 Treffer
- computable analysis 2 Treffer
- coq proof assistant 2 Treffer
- fractran 2 Treffer
- quantifier elimination 2 Treffer
- real algebraic geometry 2 Treffer
- hilbert's tenth problem 1 Treffer
- real closed fields 1 Treffer
- small scale reflection 1 Treffer
Sprache
22 Treffer
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359505 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03359508 ; Logical Methods in Computer Science, 2022, 2022Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03324295 ; Logical Methods in Computer Science, 2021, 17 (2), ⟨10.23638/LMCS-17(2:16)2021⟩, 2021academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03324295 ; Logical Methods in Computer Science, 2021, 17 (2), ⟨10.23638/LMCS-17(2:16)2021⟩, 2021academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-01081908 ; Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(2:7)2016⟩, 2016Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-01081908 ; Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(2:7)2016⟩, 2016Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-01081908 ; Logical Methods in Computer Science, 2016, ⟨10.2168/LMCS-12(2:7)2016⟩, 2016Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03324295, 2021academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03517003 ; Logical Methods in Computer Science, 2021, 2021Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03517003 ; Logical Methods in Computer Science, 2021, 2021Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03517003, 2021Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/inria-00593738 ; Logical Methods in Computer Science, 2012, 2012Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/inria-00593738, 2012Online academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03915661 ; Logical Methods in Computer Science, 2022, 2022academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03915661 ; Logical Methods in Computer Science, 2022, 2022academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03915661 ; Logical Methods in Computer Science, 2022, 2022academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-03915661 ; Logical Methods in Computer Science, 2022, 2022academicJournalZugriff:
-
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-00762377 ; Logical Methods in Computer Science, 2012, 2012Online academicJournalZugriff: