Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- fos computer and information sciences 33 Treffer
- logic in computer science cs.lo 17 Treffer
- programming languages cs.pl 15 Treffer
- artificial intelligence cs.ai 5 Treffer
- f.4.1 5 Treffer
-
30 weitere Werte:
- fos mathematics 5 Treffer
- machine learning cs.lg 5 Treffer
- cs.lo 4 Treffer
- category theory math.ct 3 Treffer
- computation and language cs.cl 3 Treffer
- cryptography and security cs.cr 2 Treffer
- cs.pl 2 Treffer
- fos physical sciences 2 Treffer
- i.2.3 2 Treffer
- computational geometry cs.cg 1 Treffer
- d.3.1 1 Treffer
- discrete mathematics cs.dm 1 Treffer
- earth and planetary astrophysics astro-ph.ep 1 Treffer
- f.3.2 1 Treffer
- f.3.3 1 Treffer
- human-computer interaction cs.hc 1 Treffer
- i.2.4 1 Treffer
- i.2.6 1 Treffer
- instrumentation and detectors physics.ins-det 1 Treffer
- logic math.lo 1 Treffer
- math.ct 1 Treffer
- math.lo 1 Treffer
- neural and evolutionary computing cs.ne 1 Treffer
- optics physics.optics 1 Treffer
- optimization and control math.oc 1 Treffer
- phil 1 Treffer
- psy 1 Treffer
- software engineering cs.se 1 Treffer
- solar and stellar astrophysics astro-ph.sr 1 Treffer
- symbolic computation cs.sc 1 Treffer
Sprache
39 Treffer
-
2024academicJournalZugriff:
-
2024academicJournalZugriff:
-
2023academicJournalZugriff:
-
In: Frumin , D 2022 ' Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq ' arXiv, 2022Online academicJournalZugriff:
-
2021academicJournalZugriff:
-
In: Nielsen , J B & Spitters, 2019Online reportZugriff:
-
2023academicJournalZugriff:
-
2023academicJournalZugriff: