-
RecordNumber
29698
-
Title
Logic and machines decision problems and complexity
-
Editor
Edited by E. Borger ¶ G. Hasenjaeger ¶ D. Rodding
-
Publication
Springer
-
Publication Year
1984
-
Collation
456 p.: ill, diagrs
-
Series
Lecture notes in computer science; 171
-
Notes
Procedings of the symposium rekursive kombinatorik; Institut fur mathematische logik und Grund lagenforschung der universitat Musnster,,1983
-
Bibliography
Includes bibliographies
-
Subject
Machine theory , Decision making
-
ADDED ENTRIES
Borger, Egon, 1946- ed , ^cTitle:Rekursive Kombinatorik , Institute fur mathematise logic undGrundlagen for schung der universitat murster , ^dSeries:Lecture notes in computer science; 171
-
Main Class
511
-
Cutter no
L832
-
وارد كنندة اطلاعات
soltani^d// , alipour^d2003/11/11 12:32:50
-
Link To Document :
