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 /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Symposium "Rekursive Kombinatorik" Münster in Westfalen, Německo) (Autor)
Další autoři: Hasenjaeger, Gisbert, 1919-2006 (Editor), Rödding, D. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1984
Edice:Lecture notes in computer science ; 171
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky U17 4200500751