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

