61. A computational logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Automatic theorem proving

رده :
QA
76
.
9
.
A96B68

62. A computational logic handbook

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
76
.
9
.
A96
B684

63. A computer based biomedical information system: I. Logic foundation and techniques

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Information storage and retrieval systems

رده :
Z
699
.
5
.
M39
S9

64. A concise Introduction to Logic

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
108
.
H8
C6
2000

65. A concise Introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع: Logic

66. A concise introduction to logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic.,Logic.

رده :
BC108
.
H83
2017

67. A concise introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)

رده :
BC
108
.
H83
2008

68. A concise introduction to logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic.,Logic.,Logik

رده :
BC108
.
H83
2008

69. A concise introduction to logic

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Logic

رده :
160
H965C
2012
21

70. A concise introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Logic

رده :
BC108
.
H83
2003

71. A concise introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

72. concise introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic

رده :
BC108
.
H83
1996

73. A concise introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Logic

رده :
BC108
.
H83
2000

74. A concise introduction to logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic.

رده :
BC108
.
H83
2006

75. A concise introduction to logic /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic

رده :
BC108
.
H83
2015

76. A concise introduction to logic

پدیدآورنده:

کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)

موضوع: ، Logic

رده :
BC
108
.
J36
1972

77. A concise introduction to logic.

کتابخانه: کتابخانه دانشکده الهیات و معارف اسلامی دانشگاه تهران (تهران)

موضوع: Logic.

رده :
BC108
.
H16

78. A concise introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
108
.
H8
A36
1985

79. A concise introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
108
.
H8
A36
2006

80. A concise introduction to logic

پدیدآورنده:

کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)

موضوع: ، Logic

رده :
BC
108
.
H83
2008