Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 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
-
11 weitere Werte:
- 020207 software engineering 1 Treffer
- calculus 1 Treffer
- completeness (order theory) 1 Treffer
- constructive 1 Treffer
- first-order logic 1 Treffer
- intuitionistic type theory 1 Treffer
- lemma (logic) 1 Treffer
- mathematics 1 Treffer
- natural deduction 1 Treffer
- proof assistant 1 Treffer
- sequent 1 Treffer
Sprache
4 Treffer
-
In: Journal of Logic and Computation, Jg. 31 (2021), S. 112-151Online unknownZugriff:
-
In: Journal of Logic and Computation ; volume 31, issue 1, page 112-151 ; ISSN 0955-792X 1465-363X, 2021Online academicJournalZugriff:
-
In: Journal of Logic and Computation, Jg. 32 (2022-11-10), S. 1585-1610Online unknownZugriff:
-
In: Journal of Logic and Computation ; volume 32, issue 8, page 1585-1610 ; ISSN 0955-792X 1465-363X, 2022Online academicJournalZugriff: