Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- arts and humanities (miscellaneous) 1 Treffer
- automated theorem proving 1 Treffer
- calculus 1 Treffer
- completeness (order theory) 1 Treffer
- computer science - logic in computer science 1 Treffer
-
23 weitere Werte:
- computer science::logic in computer science 1 Treffer
- constructive 1 Treffer
- discrete mathematics 1 Treffer
- finite set 1 Treffer
- first-order logic 1 Treffer
- fos: computer and information sciences 1 Treffer
- general computer science 1 Treffer
- hardware and architecture 1 Treffer
- intuitionistic type theory 1 Treffer
- lemma (logic) 1 Treffer
- logic 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- mathematical proof 1 Treffer
- natural deduction 1 Treffer
- reduction (recursion theory) 1 Treffer
- relation algebra 1 Treffer
- satisfiability 1 Treffer
- sequent 1 Treffer
- software 1 Treffer
- solver 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Publikation
2 Treffer
-
In: The Computer Journal, Jg. 65 (2021-05-03), S. 1891-1903Online unknownZugriff:
-
In: Journal of Logic and Computation, Jg. 31 (2021), S. 112-151Online unknownZugriff: