Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Sprache
1 Treffer
-
In: Journal of Formalized Reasoning; Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto; 53-70 ; Journal of Formalized Reasoning; V. 9 N. 1 (2016): Special Issue: Twenty Years of the QED Manifesto, 2016academicJournalZugriff: