Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 3 Treffer
- proof script 2 Treffer
- proof term 2 Treffer
- automate deduction 1 Treffer
- automate theorem prove 1 Treffer
-
17 weitere Werte:
- automate theorem prover 1 Treffer
- base language 1 Treffer
- binary operation 1 Treffer
- colour theorem 1 Treffer
- constant symbol 1 Treffer
- formal proof 1 Treffer
- function symbol 1 Treffer
- inference rule 1 Treffer
- interactive proof 1 Treffer
- jordan curve theorem 1 Treffer
- operational semantic 1 Treffer
- predicate symbol 1 Treffer
- proof state 1 Treffer
- proof step 1 Treffer
- term list 1 Treffer
- transformation rule 1 Treffer
- translation rule 1 Treffer
Publikation
- 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 3 Treffer
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 2 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 : 9th international conference, aisc 2008, 15th symposium, calculemus 2008, 7th international conference, mkm 2008, birmingham, uk, july 28 - august 1, 2008. 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
8 Treffer
-
2013Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2011Online E-BookZugriff:
-
2008Online E-BookZugriff: