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، نویسنده .
زبان
انگلیسیشماره بازیابی
کنگره:
انگليسي.
