عنوان

A computational logic handbook

پدید آورنده

BOYER,ROBERT S

موضوع

AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL

رده

QA

76

.

9

.

A96

B684

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران