Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- artificial intelligence (incl. robotics) 9 Treffer
- computer communication networks 8 Treffer
- information storage and retrieval 8 Treffer
- information systems applications (incl.internet) 6 Treffer
- mathematics, general 6 Treffer
-
23 weitere Werte:
- artificial intelligence 4 Treffer
- computational mathematics and numerical analysis 3 Treffer
- information storage and retrieval systems 3 Treffer
- mathematical logic and formal languages 3 Treffer
- symbolic and algebraic manipulation 3 Treffer
- data mining and knowledge discovery 2 Treffer
- information systems 2 Treffer
- mathematics 2 Treffer
- qa76 2 Treffer
- algebra 1 Treffer
- computer 1 Treffer
- computer.software_genre 1 Treffer
- computerapplications_computersinothersystems 1 Treffer
- data mining 1 Treffer
- human-computer interaction 1 Treffer
- informatica 1 Treffer
- information systems applications 1 Treffer
- interactivity 1 Treffer
- knowledge engineering 1 Treffer
- mechanism (biology) 1 Treffer
- programming language 1 Treffer
- q334 1 Treffer
- resolution (logic) 1 Treffer
Verlag
Publikation
Sprache
13 Treffer
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 313-326BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 17-29BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 179-193BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 194-207BuchZugriff:
-
In: Mathematical Knowledge Management; (2006) S. 17-32BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 45-55BuchZugriff:
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 371-380BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 208-221BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 56-65BuchZugriff: