Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 2 Treffer
- proof tree 2 Treffer
- binary operation 1 Treffer
- colour theorem 1 Treffer
- congruence closure 1 Treffer
-
12 weitere Werte:
- constructive mathematic 1 Treffer
- equational reasoning 1 Treffer
- fundamental theorem 1 Treffer
- interactive theorem prover 1 Treffer
- proof rule 1 Treffer
- proof script 1 Treffer
- proof search 1 Treffer
- proof step 1 Treffer
- standard library 1 Treffer
- translation rule 1 Treffer
- typing rule 1 Treffer
- unit clause 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 1 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
- mathematical knowledge management : 4th international conference, mkm 2005, bremen, germany, july 15-17, 2005, revised selected papers 1 Treffer
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 1 Treffer
5 Treffer
-
2012Online E-BookZugriff:
-
2010Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff: