Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematical knowledge 3 Treffer
- optical character recognition 2 Treffer
- proof assistant 2 Treffer
- theorem prove 2 Treffer
- abstract syntax 1 Treffer
-
30 weitere Werte:
- automate deduction 1 Treffer
- base point 1 Treffer
- computer algebra system 1 Treffer
- concrete term 1 Treffer
- dependency graph 1 Treffer
- digital library 1 Treffer
- equal time 1 Treffer
- font size 1 Treffer
- formal language 1 Treffer
- grammatical category 1 Treffer
- inference engine 1 Treffer
- inference rule 1 Treffer
- input matrix 1 Treffer
- interpolation function 1 Treffer
- logical structure 1 Treffer
- mathematical document 1 Treffer
- mathematical entity 1 Treffer
- mathematical symbol 1 Treffer
- mizar mathematical library 1 Treffer
- narrative structure 1 Treffer
- natural deduction 1 Treffer
- natural language 1 Treffer
- natural language processing 1 Treffer
- noun phrase 1 Treffer
- resource description framework 1 Treffer
- sequent calculus 1 Treffer
- syntactic parser 1 Treffer
- text area 1 Treffer
- translation rule 1 Treffer
- weighted directed graph 1 Treffer
Publikation
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 2 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 2 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 1 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 : 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
-
3 weitere Werte:
- 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 : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 1 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
Sprache
10 Treffer
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: