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
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
804
Kč
