Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
Sprache
6 Treffer
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 313-326BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 179-193BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 194-207BuchZugriff:
-
In: Mathematical Knowledge Management; (2006) S. 17-32BuchZugriff:
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 371-380BuchZugriff:
-
In: Mathematical Knowledge Management (9783540371045); (2006) S. 208-221BuchZugriff: