Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
Verlag
Sprache
1 Treffer
-
In: Journal of Automated Reasoning, Jg. 29 (2002-06-01), Heft 2, S. 107-124Online academicJournalZugriff: