Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 4 Treffer
- proof script 4 Treffer
- literate programming 2 Treffer
- mathematical proof 2 Treffer
- proof step 2 Treffer
-
19 weitere Werte:
- authoring system 1 Treffer
- automate theorem prover 1 Treffer
- case distinction 1 Treffer
- chess player 1 Treffer
- conjugate function 1 Treffer
- declarative language 1 Treffer
- document object model 1 Treffer
- formal language 1 Treffer
- formal text 1 Treffer
- informal description 1 Treffer
- intelligent interface 1 Treffer
- local copy 1 Treffer
- natural deduction 1 Treffer
- proof general 1 Treffer
- proof state 1 Treffer
- proof tree 1 Treffer
- prototype implementation 1 Treffer
- symmetric function 1 Treffer
- transformation rule 1 Treffer
Publikation
- 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 2 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 2 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
- intelligent computer mathematics : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. proceedings 1 Treffer
-
2 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
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 1 Treffer
Sprache
9 Treffer
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff: