Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Publikation
Sprache
2 Treffer
-
In: Types for Proofs & Programs (9783540680840); (2008) S. 51-68BuchZugriff:
-
In: Automated Reasoning; (2006) S. 162-176BuchZugriff: