Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 5 Treffer
- computer algebra system 2 Treffer
- theorem prover 2 Treffer
- authoring tool 1 Treffer
- automatic theorem prover 1 Treffer
-
16 weitere Werte:
- axiomatic theory 1 Treffer
- computer algebra 1 Treffer
- domain ontology 1 Treffer
- formal development 1 Treffer
- functional block 1 Treffer
- interactive proof 1 Treffer
- java code 1 Treffer
- java program 1 Treffer
- loop invariant 1 Treffer
- mathematical object 1 Treffer
- mathematical practice 1 Treffer
- open term 1 Treffer
- strong typing 1 Treffer
- syntax tree 1 Treffer
- target theory 1 Treffer
- type theory 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 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 : 18th symposium, calculemus 2011, and 10th international conference, mkm 2011, bertinoro, italy, july 18-23, 2011. 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
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
- Ein weiterer Wert:
7 Treffer
-
2013Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2006Online E-BookZugriff: