Logic and machines: Decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Inst. für mathematische Logik und Grundlagenforschung der Univ. Münster/Westfalen /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Tschechisch |
| Veröffentlicht: |
Berlin :
Springer,
1984
|
| Schriftenreihe: | rz1
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|