عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدید آورنده
edited by R.E. Shostak
موضوع
Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده
QA
76
.
L28
Vol
.
170
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
7th: 1984: Napa, Calif.
Berlin
Springer-Verlag
1984
vi, 508p.: ill
Lecture notes in computer science; 071
]CADE-7[
Includes bibliographies
ISBN: 3540960228
edited by R.E. Shostak
1
Congresses ، Automatic theorem proving
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
170
AU
AU Shostak, Robert, 1931-
TI
TI Seventh International Conference on Automated Deduction, Napa,...1984
TI Automated deduction
SE
International Conference on Automated Deduction
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح