Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Publikation
- epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of per martin-lof 1 Treffer
- types for proofs and programs : international conference, types 2007, cividale des friuli, italy, may 2-5, 2007 revised selected papers 1 Treffer
- types for proofs and programs : international workshop, types 2000 durham, uk, december 8-12, 2000 selected papers 1 Treffer
3 Treffer
-
2002Online E-BookZugriff:
-
2008Online E-BookZugriff: