Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science applications 3 Treffer
- coq 3 Treffer
- logic 3 Treffer
- mathematics (miscellaneous) 3 Treffer
- proof assistant 3 Treffer
-
45 weitere Werte:
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- cut elimination 2 Treffer
- formal verification 2 Treffer
- mathematical functions 2 Treffer
- mathematical logic 2 Treffer
- mathematical proofs 2 Treffer
- mathematical simplification 2 Treffer
- mathematics 2 Treffer
- modal logic 2 Treffer
- morphisms (mathematics) 2 Treffer
- ordinary differential equations 2 Treffer
- proof theory 2 Treffer
- semantics 2 Treffer
- sequent calculus 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- bar induction 1 Treffer
- class (set theory) 1 Treffer
- code (cryptography) 1 Treffer
- computation 1 Treffer
- computer science 1 Treffer
- computer science [c05] [engineering, computing & technology] 1 Treffer
- conditionals (logic) 1 Treffer
- congruence (geometry) 1 Treffer
- convergence (routing) 1 Treffer
- cut-elimination 1 Treffer
- equivalence relation 1 Treffer
- first-order logic 1 Treffer
- focusing 1 Treffer
- interpretation (logic) 1 Treffer
- intuitionistic type theory 1 Treffer
- law of continuity 1 Treffer
- law of excluded middle 1 Treffer
- linear logic 1 Treffer
- mathematical proof 1 Treffer
- mathematics education 1 Treffer
- metatheory 1 Treffer
- newton's method 1 Treffer
- order (group theory) 1 Treffer
Verlag
Sprache
6 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), Heft 9, S. 1205-1233Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), Heft 3, S. 312-340Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 26 (2016-03-01), Heft 3, S. 465-509Online academicJournalZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-20), S. 1278-1294Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 28 (2017-11-02), S. 942-990Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 683-714Online unknownZugriff: