Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 7 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- logical frameworks 5 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
-
30 weitere Werte:
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- relevance logic 4 Treffer
- interactive theorem proving 3 Treffer
- jar 3 Treffer
- sequent calculi 3 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 2 Treffer
- [info.info-si]computer science [cs]/social and information networks [cs.si] 2 Treffer
- coalgebras 2 Treffer
- lang 2 Treffer
- paradoxes 2 Treffer
- phil 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- artificial intelligence & image processing 1 Treffer
- computer science 1 Treffer
- computer science, interdisciplinary applications 1 Treffer
- computer science, theory & methods 1 Treffer
- edu 1 Treffer
- info 1 Treffer
- isabelle/hol 1 Treffer
- java 1 Treffer
- science & technology 1 Treffer
- semantics 1 Treffer
- technology 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- verification 1 Treffer
Sprache
Geographischer Bezug
5 Treffer
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
2021Online unknownZugriff:
-
In: 14th Asian Symposium on Programming Languages and Systems ; https://hal.inria.fr/hal-01362819 ; 14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam, 2016Online KonferenzZugriff:
-
In: Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings ; https://inria.hal.science/hal-01149867 ; Logic for Programming, 2003Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2007Online academicJournalZugriff: