Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer algebra system 8 Treffer
- multivalued function 2 Treffer
- proof assistant 2 Treffer
- abstract syntax tree 1 Treffer
- boolean expression 1 Treffer
-
30 weitere Werte:
- classical structure 1 Treffer
- correct answer 1 Treffer
- decision procedure 1 Treffer
- domain condition 1 Treffer
- entangle state 1 Treffer
- equilateral triangle 1 Treffer
- feedback intervention 1 Treffer
- formal methods 1 Treffer
- function template 1 Treffer
- high order logic 1 Treffer
- hyperbolic function 1 Treffer
- interactive proof 1 Treffer
- interactive theorem prover 1 Treffer
- intermediate language 1 Treffer
- linear factor 1 Treffer
- mathematical knowledge 1 Treffer
- mathematical object 1 Treffer
- monoidal category 1 Treffer
- parse tree 1 Treffer
- partial function 1 Treffer
- prime number theorem 1 Treffer
- program verification 1 Treffer
- proof obligation 1 Treffer
- software technology 1 Treffer
- standard template library 1 Treffer
- theorem prover 1 Treffer
- theorem proving 1 Treffer
- type information 1 Treffer
- type system 1 Treffer
- typing rule 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 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
- 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 2 Treffer
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. 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
-
2 weitere Werte:
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 1 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 1 Treffer
13 Treffer
-
2003Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff: