Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algebra system 5 Treffer
- digital library 4 Treffer
- mathematical object 4 Treffer
- mathematical text 3 Treffer
- abstract syntax 2 Treffer
-
45 weitere Werte:
- knowledge repository 2 Treffer
- mathematical content 2 Treffer
- natural deduction 2 Treffer
- proof checker 2 Treffer
- resource description framework 2 Treffer
- theorem prover 2 Treffer
- abstract syntax tree 1 Treffer
- analogical representation 1 Treffer
- area method 1 Treffer
- assembly language 1 Treffer
- axiomatic theory 1 Treffer
- boolean algebra 1 Treffer
- canonical form 1 Treffer
- chinese remainder theorem 1 Treffer
- complex number 1 Treffer
- computer algebra 1 Treffer
- concrete structure 1 Treffer
- concrete syntax 1 Treffer
- consistency check 1 Treffer
- content structure 1 Treffer
- current node 1 Treffer
- current task 1 Treffer
- deductive inference 1 Treffer
- dependency graph 1 Treffer
- development graph 1 Treffer
- diagrammatic representation 1 Treffer
- document model 1 Treffer
- electrical engineering 1 Treffer
- elementary function 1 Treffer
- elimination rule 1 Treffer
- erential equation 1 Treffer
- essential tool 1 Treffer
- expert system 1 Treffer
- extensible framework 1 Treffer
- extraction module 1 Treffer
- feature selection 1 Treffer
- formal apparatus 1 Treffer
- formal argument 1 Treffer
- geometric construction 1 Treffer
- hyperbolic function 1 Treffer
- informal logic 1 Treffer
- information retrieval 1 Treffer
- integrate development environment 1 Treffer
- intelligent tutoring system 1 Treffer
- interactive view 1 Treffer
Publikation
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 5 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 5 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 5 Treffer
- intelligent computer mathematics : 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, paris, france, july 5-10, 2010. proceedings 4 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 3 Treffer
-
4 weitere Werte:
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 3 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 3 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 2 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 1 Treffer
31 Treffer
-
2006Online E-BookZugriff:
-
2003Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff: