Logic for computer science
/ Steve Reeves, Michael Clarke
Logic for computer science
طبع 1
0-201-41643-3
قائمة
شناسنامه
المدخل الرئيسي
Reeves, Steve، نویسندهالعنوان واسم المؤلف
Logic for computer science / / Steve Reeves, Michael Clarkeبيانات النشر
وکینگهام : : Addison Wesley Pub. Co، 1990مالمواصفات الشكلية
260p.؛ ; 24 cm؛ : fig..الموضوع
Logic, Symbolic and mathematicalمسلسل
(International computer science series؛ )المعرّفات المضافة
Clarke, Michael، نویسنده .
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
انگليسي.
