Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algebra 8 Treffer
- mathematical knowledge 5 Treffer
- proof assistant 5 Treffer
- mathematical object 3 Treffer
- authoring tool 2 Treffer
-
45 weitere Werte:
- automate reasoning 2 Treffer
- automate theorem prove 2 Treffer
- canonical form 2 Treffer
- mathematical software 2 Treffer
- multivalued function 2 Treffer
- proof obligation 2 Treffer
- theorem prover 2 Treffer
- type system 2 Treffer
- abstract data type 1 Treffer
- abstract syntax 1 Treffer
- abstract syntax tree 1 Treffer
- abstract theory 1 Treffer
- atomic component 1 Treffer
- automate theorem prover 1 Treffer
- classical structure 1 Treffer
- combine system 1 Treffer
- computable function 1 Treffer
- concrete computation 1 Treffer
- congruence relation 1 Treffer
- constraint solver 1 Treffer
- context data 1 Treffer
- correct answer 1 Treffer
- correctness proof 1 Treffer
- current node 1 Treffer
- decision procedure 1 Treffer
- digital library 1 Treffer
- discovery task 1 Treffer
- domain condition 1 Treffer
- dynamic geometry 1 Treffer
- elementary function 1 Treffer
- entangle state 1 Treffer
- equilateral triangle 1 Treffer
- equivalence class 1 Treffer
- feedback intervention 1 Treffer
- free point 1 Treffer
- gauge transformation 1 Treffer
- hash table 1 Treffer
- high order logic 1 Treffer
- hyperbolic function 1 Treffer
- input stream 1 Treffer
- integration problem 1 Treffer
- intelligent tutoring system 1 Treffer
- interactive proof 1 Treffer
- interactive theorem prover 1 Treffer
- invariant property 1 Treffer
Publikation
- 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 7 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 3 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
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 3 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 3 Treffer
-
6 weitere Werte:
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 3 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 3 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 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 : mkm, calculemus, dml, and systems and projects 2013, held as part of cicm 2013, bath, uk, july 8-12, 2013. proceedings 1 Treffer
- omdoc - an open markup format for mathematical documents [version 1.2] : foreword by allan bundy 1 Treffer
Sprache
30 Treffer
-
2003Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff: