Logic and machines | Börger, Egon. Redacteur / Bezorger / Tekstuitgever
0/5

0 recensie
Titel
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 Frundlagenforschung der Universität Münster/Westfalen
edited by E. Börger ; G. Hasenjaeger ; and D. Rödding
Auteur(s)
Börger, Egon. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Hasenjaeger, Gisbert. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Rödding, Dieter. Redacteur / Bezorger / Tekstuitgever
Auteur(s)
Symposium ""Rekursive Kombinatorik"". May 23-28, 1983
ISBN
0-387-13331-3
Bibliografisch adres
Berlin ; New York : Springer, 1984
Taal
Engels
Land
Various places
Collatie
VI, 456 p. : ill. ; 25 cm
Behoort tot
Lecture notes in computer science / Goos, Gerhard ; 171
Onderwerp(en)
Machine theory - Congresses.
Computational complexity - Congresses.
Decision-making - Congresses.
ISBD
Bekijk de ISBD weergave
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 Frundlagenforschung der Universität Münster/Westfalen / edited by E. Börger ; G. Hasenjaeger ; and D. Rödding. - Berlin ; New York : Springer, 1984. - VI, 456 p : ill. ; 25 cm. - ISBN 0-387-13331-3.


Fout of probleem melden?
Permalink
Beschikbare exemplaren worden gecheckt...

Een document aanvragen

Beschikbare exemplaren worden gecheckt...
Opladen van de verrijkingen...