Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- f.4.1 12 Treffer
- mathematics - logic 12 Treffer
- category theory (math.ct) 11 Treffer
- fos: computer and information sciences 11 Treffer
- fos: mathematics 11 Treffer
-
45 weitere Werte:
- logic in computer science (cs.lo) 11 Treffer
- f.3.2 6 Treffer
- 03b70 4 Treffer
- computer science - programming languages 4 Treffer
- mathematics::category theory 4 Treffer
- phil 4 Treffer
- 03b15 3 Treffer
- 16. peace & justice 3 Treffer
- d.2.4 3 Treffer
- logic (math.lo) 3 Treffer
- type theory 3 Treffer
- 000 computer science, knowledge, general works 2 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 18c50 2 Treffer
- computer science 2 Treffer
- computer science - computation and language 2 Treffer
- computer science applications 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- coq 2 Treffer
- homotopy 2 Treffer
- homotopy type theory 2 Treffer
- info 2 Treffer
- lang 2 Treffer
- mathematics 2 Treffer
- mathematics (miscellaneous) 2 Treffer
- software science 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info]computer science [cs] 1 Treffer
- [math]mathematics [math] 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
- 03b15, 03b70, 03f50 1 Treffer
- 03f50 1 Treffer
- 18c50, 03b15, 03b70 1 Treffer
- 55u35 1 Treffer
- 68q65 1 Treffer
- a1 homotopy theory 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
Verlag
Publikation
Sprache
49 Treffer
-
2022Online unknownZugriff:
-
In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10Online unknownZugriff:
-
In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022-08-02Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 14, Issue 3 (2018-09-01)Online academicJournalZugriff:
-
2012Online unknownZugriff: