Achtung:
Auf dieses Seite bzw. Funktion können Sie nur zugreifen, wenn Sie sich im Campusnetz befinden oder angemeldet haben.
Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical logic 4 Treffer
- artificial intelligence 2 Treffer
- automated reasoning 2 Treffer
- automated theorem proving 2 Treffer
- chess 2 Treffer
-
21 weitere Werte:
- chess problems 2 Treffer
- chess techniques 2 Treffer
- computer software 2 Treffer
- computer systems 2 Treffer
- electronic information resources 2 Treffer
- epistemic logic 2 Treffer
- formal system 2 Treffer
- heuristic programming 2 Treffer
- intelligent agents 2 Treffer
- interactive theorem proving 2 Treffer
- knowledge representation (information theory) 2 Treffer
- modal logic 2 Treffer
- multiagent systems 2 Treffer
- problem solving 2 Treffer
- recreational mathematics 2 Treffer
- trajectories 2 Treffer
- ubiquinones 2 Treffer
- end games in chess 1 Treffer
- epistemic actions 1 Treffer
- formal proofs 1 Treffer
- linear arithmetic 1 Treffer
Sprache
4 Treffer
-
In: Central European Conference on Information & Intelligent Systems, 2010-09-22, S. 11-18KonferenzZugriff:
-
In: Central European Conference on Information & Intelligent Systems, 2010-09-22, S. 3-10KonferenzZugriff:
-
In: Central European Conference on Information & Intelligent Systems, 2008, S. 565-575KonferenzZugriff:
-
In: Central European Conference on Information & Intelligent Systems, 2012-09-19, S. 29-36KonferenzZugriff: