Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- formal proof 2 Treffer
- automate deduction 1 Treffer
- automate theorem prover 1 Treffer
- cognitive dimension 1 Treffer
- combinatorial auction 1 Treffer
-
15 weitere Werte:
- formal language 1 Treffer
- literate programming 1 Treffer
- local copy 1 Treffer
- mental workload 1 Treffer
- proof assistant 1 Treffer
- proof rule 1 Treffer
- proof script 1 Treffer
- proof search 1 Treffer
- proof state 1 Treffer
- proof term 1 Treffer
- proof tree 1 Treffer
- prototype implementation 1 Treffer
- social choice theory 1 Treffer
- typing rule 1 Treffer
- usability problem 1 Treffer
Publikation
- 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
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
- mathematical knowledge management : second international conference, mkm 2003 bertinoro, italy, february 16-18, 2003 proceedings 1 Treffer
6 Treffer
-
2010Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2003Online E-BookZugriff: