41. A 25-Year perspective on logic programming
المؤلف: / Agostino Dovier, Enrico Pontelli (Eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
42. A beginner's guide to Programming logic and design
المؤلف: Farrell, Joyce.
المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
43. A commentary on Hegel's Logic
المؤلف: John M. E. Mc Taggart
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Hegel, George wilhelm Friedrich, 1770-1831
44. A commentary to Hegel's Science of logic
المؤلف: Carlson, David )David Gray(
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Hegel, Georg Wilhelm Friedrich,0771-1381.Wissenschaft der Logik,، Logic,، Kommentar
رده :
B2942
.
Z7
C37
2007
45. A commentary to Hegel's Science of logic
المؤلف: / David Gray Carlson.,کارلسون,Carlson
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: هگل، گئورگ ویلهلم فریدریش، ۱۷۷۰ - ۱۸۳۱م, . علم منطق,منطق
رده :
B
۲۹۴۲
/
ی
۷
ک
۲ ۱۳۸۶
46. A commentary to Hegel's Science of logic
المؤلف: Carlson, David Gray
المکتبة: (قم)
موضوع: ، Hegel, Georg Wilhelm Friedrich, 0771-1381. Wissenschaft der Logik,، Logic
رده :
B
2942
.
Z7
.
C37
2006
47. A companion to modal logic /
المؤلف: G.E. Hughes, M.J. Cresswell.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Modality (Logic)
رده :
BC199
.
M6
H795
1984
48. A companion to philosophical logic
المؤلف: edited by Dale Jacquette
المکتبة: (قم)
موضوع: ، Logic
رده :
BC
71
.
C65
2002
49. A companion to philosophical logic
المؤلف: / edited by Dale Jacquette
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic.
رده :
BC
,
71
,.
C65
,
2002
50. A companion to philosophical logic
المؤلف: detide yb elaD etteuqcaJ
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
71
.
A36
2002
51. A companion to philosophical logic
پدیدآورنده :
موضوع : ، Logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
52. A companion to philosophical logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic. ;
53. A companion to philosophical logic
المؤلف: / edited by Dale Jacquette
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic
رده :
BC71
.
C65
2002
54. A companion to philosophical logic
المؤلف: edited by Dale Jacquette
المکتبة: (طهران)
موضوع: ، Logic
رده :
BC
71
.
C656
55. A companion to philosophical logic /
المؤلف: edited by Dale Jacquette.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Logique.,Logic.,Logica.,Logik,Logique (Philosophie),Logique mathématique.,Logique modale.,Paradoxe.,PHILOSOPHY-- Logic.,Sémantique.
رده :
BC71
.
C65
2002eb
56. A companion to philosophical logic
المؤلف: detide yb elaD etteuqcaJ
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
71
.
C6
2007
57. A companion to philosophical logic
المؤلف: / edited by Dale Jacquette
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic
رده :
BC71
.
C65
2002
58. A computational logic /
المؤلف: Boyer, Robert S., Robert S. Boyer and J Strother Moore
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
59. A computational logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving. ;
60. A computational logic
المؤلف: / Robert S. Boyer and J. Strother Moore
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
