Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- artificial intelligence 45 Treffer
- mathematics 45 Treffer
- exact sciences and technology 44 Treffer
- informatique 44 Treffer
- mathematiques 44 Treffer
-
45 weitere Werte:
- sciences exactes et technologie 44 Treffer
- applied sciences 42 Treffer
- computer science; control theory; systems 42 Treffer
- informatique; automatique theorique; systemes 42 Treffer
- sciences appliquees 42 Treffer
- knowledge engineering 34 Treffer
- ingenierie connaissances 33 Treffer
- matematicas 33 Treffer
- intelligence artificielle 29 Treffer
- apprentissage et systemes adaptatifs 27 Treffer
- learning and adaptive systems 27 Treffer
- software 16 Treffer
- logiciel 13 Treffer
- memory organisation. data processing 13 Treffer
- organisation des memoires. traitement des donnees 13 Treffer
- database management 12 Treffer
- formula matematica 12 Treffer
- formule mathematique 12 Treffer
- mathematical formula 12 Treffer
- artificial intelligence (incl. robotics) 11 Treffer
- demonstration theoreme 10 Treffer
- demostracion teorema 10 Treffer
- information systems. data bases 10 Treffer
- systemes d'information. bases de donnees 10 Treffer
- theorem proving 10 Treffer
- 02 engineering and technology 8 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 8 Treffer
- computer communication networks 8 Treffer
- information storage and retrieval 8 Treffer
- 020201 artificial intelligence & image processing 7 Treffer
- biblioteca electronica 7 Treffer
- bibliotheque electronique 7 Treffer
- electronic library 7 Treffer
- information storage and retrieval systems 7 Treffer
- mathematics, general 7 Treffer
- proof theory 7 Treffer
- semantics 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- business 6 Treffer
- business.industry 6 Treffer
- computer 6 Treffer
- information systems applications (incl.internet) 6 Treffer
- semantica 6 Treffer
- semantique 6 Treffer
Verlag
Publikation
- lecture notes in computer science 45 Treffer
- mkm 2004 : mathematical knowledge management (bialowieza, 19-21 september 2004) 27 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 17 Treffer
- mathematical knowledge management (9783540005681) 3 Treffer
- mathematical knowledge management (9783540371045) 3 Treffer
-
8 weitere Werte:
- towards mechanized mathematical assistants 2 Treffer
- electrical engineering & electromechanics 1 Treffer
- ieee access 1 Treffer
- mathematical knowledge management 1 Treffer
- medical image computing & computer-assisted intervention - miccai'99 1 Treffer
- omdoc - an open markup format for mathematical documents 1 Treffer
- procedia computer science 1 Treffer
- sensors (basel, switzerland) 1 Treffer
81 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8543, S. 344-356KonferenzZugriff:
-
In: Advances in Information and Computer Security, 2020-08-26, S. 97-116Online unknownZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 1-16KonferenzZugriff:
-
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003), 2003, S. 17-29KonferenzZugriff:
-
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:
-
-
2012Online unknownZugriff:
-
-
1978reportZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 175-189KonferenzZugriff: