عنوان
پدید آورنده
موضوع
رده
QA 267 .S98 1983
QA
267
.
S98
1983
کتابخانه
محل استقرار
77314
تابستان۳۷
English
)20(
Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
Berlin, New York
Springer-Verlag
1984
vi, 456 p. : ill. ; 25 cm
Lecture notes in computer science, 171
Includes bibliographies
، Machine theory--Congresses
، Computational complexity--Congresses
، Decision-making--Congresses
QA
267
.
S98
1983
AU
edited by E. Borger, G. Hasenjaeger, and D. Rغodding
AU nogE ,regroB 1946-
AU trebsiG ,regeajnesaH 1919-
AU reteiD ,gniddoR 1937-
TI
SE
02
