Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- algebra 2 Treffer
- computer science::logic in computer science 2 Treffer
- linear logic 2 Treffer
- substructural logic 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
-
15 weitere Werte:
- accessibility relation 1 Treffer
- autoepistemic logic 1 Treffer
- class (set theory) 1 Treffer
- completeness (logic) 1 Treffer
- dynamic logic (modal logic) 1 Treffer
- epistemic modal logic 1 Treffer
- equivalence relation 1 Treffer
- intermediate logic 1 Treffer
- linear temporal logic 1 Treffer
- many-valued logic 1 Treffer
- probabilistic logic network 1 Treffer
- proof calculus 1 Treffer
- relation (database) 1 Treffer
- rule of inference 1 Treffer
- set (abstract data type) 1 Treffer
Sprache
3 Treffer
-
In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), S. 455-470Online unknownZugriff:
-
In: Siberian Mathematical Journal, Jg. 54 (2013-11-01), S. 1037-1045Online unknownZugriff:
-
In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), S. 565-568Online unknownZugriff: