Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science - logic in computer science 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.2: lambda calculus and related systems 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.4: mechanical theorem proving 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.7: proof theory 1 Treffer
- 5 weitere Werte:
Sprache
3 Treffer
-
In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152406 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada, 2019Online academicJournalZugriff:
-
2015academicJournalZugriff:
-
2014academicJournalZugriff: