1. Logic for computer science /
پدیدآورنده: Steve Reeves, Michael Clarke
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
R34
1990


2. Logic for computer science
پدیدآورنده: Reeves, Steve
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Logic, symbolic and mathematical
رده :
QA
9
.
R34
1990


3. Logic for computer science
پدیدآورنده: / Steve Reeves, Michael Clarke,Reeves
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
R34
1990

