Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof assistant 3 Treffer
- abelian group 1 Treffer
- abelian semigroup 1 Treffer
- abstract data type 1 Treffer
- categorial semantic 1 Treffer
-
18 weitere Werte:
- categorical logic 1 Treffer
- category theory 1 Treffer
- class type 1 Treffer
- composition operator 1 Treffer
- concrete syntax 1 Treffer
- dependent type 1 Treffer
- formal semantic 1 Treffer
- mathematical formula 1 Treffer
- open term 1 Treffer
- proof obligation 1 Treffer
- proof state 1 Treffer
- short exact sequence 1 Treffer
- strong typing 1 Treffer
- syntax tree 1 Treffer
- type check 1 Treffer
- type context 1 Treffer
- type conversion 1 Treffer
- type system 1 Treffer
Publikation
- mathematical knowledge management : third international conference, mkm 2004, bialowieza, poland, september 19-21, 2004. proceedings 3 Treffer
- towards mechanized mathematical assistants : 14th symposium, calculemus 2007, 6th international conference, mkm 2007, hagenberg, austria, june 27-30, 2007. proceedings 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
- mathematical knowledge management : 5th international conference, mkm 2006, wokingham, uk, august 11-12, 2006. proceedings 1 Treffer
7 Treffer
-
2012Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff:
-
2004Online E-BookZugriff: