Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- abstract syntax 1 Treffer
- ambient assisted living 1 Treffer
- class type 1 Treffer
- content level 1 Treffer
- core ontology 1 Treffer
-
23 weitere Werte:
- current task 1 Treffer
- description logic 1 Treffer
- grammatical category 1 Treffer
- interactive proof 1 Treffer
- interactive proof system 1 Treffer
- knowledge management 1 Treffer
- knowledge repository 1 Treffer
- mathematical knowledge 1 Treffer
- natural language 1 Treffer
- ontology alignment 1 Treffer
- open math 1 Treffer
- original text 1 Treffer
- proof assistant 1 Treffer
- proof general 1 Treffer
- proof script 1 Treffer
- proof state 1 Treffer
- remote control 1 Treffer
- repair strategy 1 Treffer
- semantic level 1 Treffer
- type context 1 Treffer
- type inference 1 Treffer
- type theory 1 Treffer
- weak type 1 Treffer
Publikation
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 2 Treffer
- intelligent computer mathematics : 11th international conference, aisc 2012, 19th symposium, calculemus 2012, 5th international workshop, dml 2012, 11th international conference, mkm 2012, systems and projects, held as part of cicm 2012, bremen, germany, july 8-13, 2012. proceedings 1 Treffer
- intelligent computer mathematics : 9th international conference, aisc 2008, 15th symposium, calculemus 2008, 7th international conference, mkm 2008, birmingham, uk, july 28 - august 1, 2008. proceedings 1 Treffer
- intelligent computer mathematics : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 1 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
- Ein weiterer Wert:
7 Treffer
-
2013Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: