عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 I575 1996
QA
76
.
9
.
A96
I575
1996
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
xv, 719 p. : ill
فروست
عنوان فروست
Lecture notes in computer science, 1085
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Automatic theorem proving - Congresses
عنصر شناسه ای
Reasoning - Congresses
عنصر شناسه ای
Artificial intelligence - Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
A96
I575
شماره رکورد غير از شماره رده بندي
1996
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
شناسه افزوده (تنالگان)
عنصر شناسه اي
International Conference on Formal and Applied Practical Reasoning, )1996 : Bonn, Germany(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
