Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
1 Treffer
-
In: Proceedings of the 1st Workshop: Modules & Libraries for Proof Assistants, 2009-08-03, S. 38-45Online KonferenzZugriff: