Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
Sprache
7 Treffer
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 313-326BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 17-29BuchZugriff:
-
In: Mathematical Knowledge Management; (2006) S. 17-32BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 45-55BuchZugriff:
-
In: Towards Mechanized Mathematical Assistants; (2007) S. 371-380BuchZugriff:
-
In: Mathematical Knowledge Management (9783540005681); (2003) S. 56-65BuchZugriff:
-
In: Medical Image Computing & Computer-Assisted Intervention - MICCAI'99; (1999) S. 945-952BuchZugriff: