Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- multi-modal logic 8 Treffer
- admissible rules 5 Treffer
- inference rules 5 Treffer
- temporal logic 5 Treffer
- tense logic 4 Treffer
-
26 weitere Werte:
- algorithms 3 Treffer
- axioms 3 Treffer
- foundations of arithmetic 3 Treffer
- foundations of geometry 3 Treffer
- inference (logic) 3 Treffer
- linear time invariant systems 3 Treffer
- mathematical logic 3 Treffer
- modality (theory of knowledge) 3 Treffer
- semantics 3 Treffer
- combined logics 2 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
- autoepistemic logic 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- description logic 1 Treffer
- disjunction introduction 1 Treffer
- linear logic 1 Treffer
- logic 1 Treffer
- mathematics 1 Treffer
- modal-logics 1 Treffer
- philosophy 1 Treffer
- probabilistic logic network 1 Treffer
- proof calculus 1 Treffer
- rule of inference 1 Treffer
- substructural logic 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Logic Journal of the IGPL, Jg. 14 (2006), Heft 1, S. 15-34Online academicJournalZugriff:
-
In: Logic Journal of the IGPL, Jg. 15 (2007-06-01), Heft 3, S. 239-254Online academicJournalZugriff:
-
In: Logic Journal of the IGPL, Jg. 14 (2006), S. 15-34Online unknownZugriff: