عنوان
پدید آورنده
موضوع
رده
QA .A96,C654 76.9 1990
QA
.
A96
,
C654
76
.
9
1990
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Computational logic
نام نخستين پديدآور
J.W. Lloyd )ed.(
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
ix, 211 p. : ill. ; 25 cm
فروست
عنوان فروست
ESPRIT basic research seriese, )EUR, 13147 EN
عنوان فروست
Series: EUR )Series(, 13147 EN
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references
عنوانهای گونه گون دیگر
عنوان گونه گون
symposium proceedings, Brussels, November 13/14, 1990
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem proving - Congresses
عنصر شناسه ای
Logic, Symbolic and Mathematical - Congresses
رده بندی کنگره
شماره رده
QA
شماره رکورد رده بندي
76
.
9
نشانه اثر
.
A96
,
C654
شماره رکورد غير از شماره رده بندي
1990
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
Lloyd, John Wylie
اطلاعات گونه گون
1947-
اطلاعات رکورد کتابشناسی
نوع ماده
English Book
