Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical knowledge 4 Treffer
- computer algebra system 3 Treffer
- analogical representation 1 Treffer
- authoring tool 1 Treffer
- block matrice 1 Treffer
-
24 weitere Werte:
- block matrix 1 Treffer
- computer algebra 1 Treffer
- content dictionary 1 Treffer
- content structure 1 Treffer
- development graph 1 Treffer
- diagrammatic representation 1 Treffer
- document model 1 Treffer
- expression tree 1 Treffer
- formal representation 1 Treffer
- intermediate representation 1 Treffer
- knowledge object 1 Treffer
- markup language 1 Treffer
- output format 1 Treffer
- proof assistant 1 Treffer
- proof obligation 1 Treffer
- propositional representation 1 Treffer
- remote object 1 Treffer
- resource description framework 1 Treffer
- resource description framework graph 1 Treffer
- resource description framework schema 1 Treffer
- symbolic computation 1 Treffer
- symbolic computing 1 Treffer
- type system 1 Treffer
- version control 1 Treffer
Publikation
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 2 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 2 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 2 Treffer
- intelligent computer mathematics : 16th symposium, calculemus 2009, 8th international conference, mkm 2009, held as part of cicm 2009, grand bend, canada, july 6-12, 2009. proceedings 1 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 1 Treffer
-
2 weitere Werte:
- 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
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
10 Treffer
-
2006Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2003Online E-BookZugriff: