Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- church's thesis 4 Treffer
- addition (mathematics) 2 Treffer
- axioms 2 Treffer
- constructive mathematics 2 Treffer
- constructive set theory 2 Treffer
-
25 weitere Werte:
- point-free topology 2 Treffer
- topology 2 Treffer
- 01 natural sciences 1 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
- 020201 artificial intelligence & image processing 1 Treffer
- arts and humanities (miscellaneous) 1 Treffer
- axiom 1 Treffer
- computer science::logic in computer science 1 Treffer
- extensionality 1 Treffer
- fos: mathematics 1 Treffer
- hardware and architecture 1 Treffer
- large set (ramsey theory) 1 Treffer
- logic 1 Treffer
- logic (math.lo) 1 Treffer
- mathematics 1 Treffer
- mathematics - logic 1 Treffer
- mathematics::logic 1 Treffer
- pure mathematics 1 Treffer
- set (abstract data type) 1 Treffer
- software 1 Treffer
- theoretical computer science 1 Treffer
- universe (mathematics) 1 Treffer
Sprache
4 Treffer
-
In: Logical Methods in Computer Science (LMCS), Jg. 18 (2022-10-01), Heft 4, S. 1-28Online academicJournalZugriff:
-
In: Logical Methods in Computer Science (LMCS), Jg. 17 (2021-04-01), Heft 2, S. 1-21Online academicJournalZugriff:
-
2021Online academicJournalZugriff: