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
Author(s)
Bibliographic Information
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
（Lecture notes in computer science, 171）
Springer-Verlag, 1984
- : gw
- : us
Available at / 46 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||17184021116
-
University of Tsukuba Library, Library on Library and Information Science
Germany007.08:L-49:171881003790
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
