Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- bc1-199 6 Treffer
- electronic computers. computer science 6 Treffer
- logic 6 Treffer
- qa75.5-76.95 6 Treffer
- f.4.1 4 Treffer
-
41 weitere Werte:
- mathematics - category theory 4 Treffer
- computer science - logic in computer science 2 Treffer
- computer science - programming languages 2 Treffer
- fos: mathematics 2 Treffer
- general computer science 2 Treffer
- logic (math.lo) 2 Treffer
- mathematics 2 Treffer
- theoretical computer science 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- algebra 1 Treffer
- algebra and logic 1 Treffer
- algebra och logik 1 Treffer
- axiom 1 Treffer
- categorical variable 1 Treffer
- category theory (math.ct) 1 Treffer
- computer science - computation and language 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- current (mathematics) 1 Treffer
- d.1.1 1 Treffer
- extensionality 1 Treffer
- f.3.2 1 Treffer
- fos: computer and information sciences 1 Treffer
- higher category theory 1 Treffer
- homotopy 1 Treffer
- idempotence 1 Treffer
- mathematics::rings and algebras 1 Treffer
- polynomial 1 Treffer
- predicative expression 1 Treffer
- programming languages (cs.pl) 1 Treffer
- pure mathematics 1 Treffer
- recursion (computer science) 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- transfinite number 1 Treffer
- type (model theory) 1 Treffer
- type theory 1 Treffer
Verlag
Sprache
7 Treffer
-
In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-06-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 17, Issue 3 (2021-09-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 15, Issue 1 (2019-03-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 14, Issue 3 (2018-09-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 12, Issue 3 (2017-04-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. 17 (2021-09-24)Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 10, Issue 3 (2014-09-01)Online academicJournalZugriff: