Siirry suoraan sisältöön
Logic and Machines: Decision Problems and Complexity
Tallenna

Logic and Machines: Decision Problems and Complexity

Alaotsikko
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
Painos
Softcover reprint of the original 1st ed. 1984
ISBN
9783540133315
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.5.1984
Sivumäärä
460