Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical knowledge 2 Treffer
- abstract syntax 1 Treffer
- abstract syntax tree 1 Treffer
- authoring tool 1 Treffer
- consistency check 1 Treffer
-
14 weitere Werte:
- deductive system 1 Treffer
- edit operation 1 Treffer
- formal language 1 Treffer
- index size 1 Treffer
- intuitionistic logic 1 Treffer
- mathematical expression 1 Treffer
- model node 1 Treffer
- query processing 1 Treffer
- representation language 1 Treffer
- semantic relation 1 Treffer
- syntactic analysis 1 Treffer
- text editor 1 Treffer
- theorem prover 1 Treffer
- visual feedback 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 : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 2 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
5 Treffer
-
2013Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: