Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Sprache
2 Treffer
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 225-240KonferenzZugriff:
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 50-65KonferenzZugriff: