عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 A945 1990
QA
76
.
9
.
A96
A945
1990
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
The automation of reasoning: an experimenter's notebook with otter tutorial
نام نخستين پديدآور
Larry Wos
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
San Diego
نام ناشر، پخش کننده و غيره
Academic Press )PA(
تاریخ نشرو بخش و غیره
1990
مشخصات ظاهری
نام خاص و کميت اثر
xiv,454p.
يادداشت کلی
متن يادداشت
Includes bibliography and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Automatic therem proving
عنصر شناسه ای
، Otter )computer file(
عنصر شناسه ای
، Artifical intelligence
عنصر شناسه ای
، Electronic digital computers - Programming
رده بندی کنگره
شماره رده
QA
76
.
9
.
A96
A945
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Wos, Larry
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
