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
- 種類:
- 電子ブック
- 責任表示:
- edited by E. Börger, G. Hasenjaeger, D. Rödding
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1984
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 171
- ISBN:
- 9783540388562 [3540388567]
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer-Verlag | |
|
Springer-Verlag | |
|
Springer-Verlag |
