Výsledky hledání pro autora

1

Obálka

Logic and machines : decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen /

Vydáno 1984

“...Symposium "Rekursive Kombinatorik" Münster in Westfalen, Německo)...”

Kniha