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

Web Site CiNii Available at 46 libraries

Bibliographic Information

Title: "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"

Statement of Responsibility: edited by E. Börger, G. Hasenjaeger, and D. Rödding

Publisher

Publication Year

Series Name / No

Includes bibliographies

CRID

1130282269401629440
NII Book ID

BA03713886
ISBN

3540133313

0387133313
LCCN

84005546
Web Site

https://lccn.loc.gov/84005546
Text Lang

en
Country Code

gw
Title Language Code

en
Place of Publication
- Berlin ; Tokyo
Classification
- LCC: QA267
- DC19: 511
Subject
- LCSH: Machine theory -- Congresses
- LCSH: Computational complexity -- Congresses
- LCSH: Decision-making -- Congresses
Data Source
- CiNii Books