Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- linear temporal logic 6 Treffer
- axiomatization 5 Treffer
- epistemic logic 5 Treffer
- discrete mathematics 3 Treffer
- general mathematics 3 Treffer
-
27 weitere Werte:
- mathematics 3 Treffer
- algebra 2 Treffer
- axiomatic set theory 2 Treffer
- cluster analysis (statistics) 2 Treffer
- computer science::logic in computer science 2 Treffer
- equivalence classes (set theory) 2 Treffer
- linear logic 2 Treffer
- linear statistical models 2 Treffer
- mathematical formulas 2 Treffer
- mathematical logic 2 Treffer
- set theory 2 Treffer
- substructural logic 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 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
- 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
Verlag
Sprache
6 Treffer
-
In: Siberian Mathematical Journal, Jg. 54 (2013-11-01), Heft 6, S. 1037-1045Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
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. 54 (2013-11-01), Heft 6, S. 1037-1045Online academicJournalZugriff:
-
In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), S. 565-568Online unknownZugriff: