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 and D. Rödding
Bok Språk ikke angitt 1984 Symposium "Rekursive Kombinatorik"
| Utgitt | Berlin : Springer , 1984
|
|---|---|
| Omfang | VI, 456 s. : fig.
|
| Emner | Computational complexity - Congresses.
Decision-making - Congresses. Machine theory - Congresses. Algoritmer Vis mer... Beslutningsteori
Matematisk logikk datamaskiner algoritmer logikk kombinatorikk kompleksitetsymposier |
| ISBN | 0387133313. - 3540133313
|
