عنوان
پدید آورنده
موضوع
رده
QA .C483 9 1987
QA
.
C483
9
1987
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Symbolic logic and mechanical theorem proving
نام نخستين پديدآور
Chin-Liang Chang, Richard Char-Tung Lee
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Academic Press
تاریخ نشرو بخش و غیره
1973
مشخصات ظاهری
نام خاص و کميت اثر
xiii, 331 p. ill
فروست
عنوان فروست
Computer science classics
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes index
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Bibliography: p.)309(-324
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Logic, Symbolic and mathematical
عنصر شناسه ای
Automatic theorem proving
عنصر شناسه ای
Artificial intelligence
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
9
نشانه اثر
.
C483
شماره رکورد غير از شماره رده بندي
1987
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Chang, Chin-Liang, 1937-
عنصر شناسه اي
Title
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
Lee, Richard Char-Tung
اطلاعات گونه گون
1939- ,Joint author
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
