دانلود کتاب 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
by Klaus Ambos-Spies (auth.)
|
عنوان فارسی: منطق و ماشین آلات : مشکلات تصمیم گیری و پیچیدگی : مجموعه مقالات سمپوزیوم " Rekursive Kombinatorik " از مه 23 برگزار شد - 28 ، 1983 در DER انستیتو خز ریاضیات LOGIK UND Grundlagenforschung دانشگاه مونستر / وستفالن |