عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
oldebook12730
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
21- CADE--Automated deduction
ساير اطلاعات عنواني
:first International Conference on Automated Deduction. ; International Conference on Automated Deduction. ; -one. ; 21st International Conference on Automated Deduction. ; Twenty-twenty-21. ; CADE-Automated deduction. ; CADE
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York :
نام ناشر، پخش کننده و غيره
: Springer,
تاریخ نشرو بخش و غیره
, 2007.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Pfenning, Frank. ;
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
