1. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving.
رده :
E-Book
,
2. A Review of Natural Language Processing in Medical Education
پدیدآورنده : Chary, Michael; Parikh, Saumil; Manini, Alex F.; Boyer, Edward W.; Radeos, Michael,Chary, Michael; Parikh, Saumil; Manini, Alex F.; Boyer, Edward W.; Radeos, Michael
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
3. A comparison of network-based strategies for screening at-risk Hispanic/Latino adolescents and young adults for undiagnosed asymptomatic HIV infection.
پدیدآورنده : Boyer, Cherrie B; Robles-Schrader, Grisel M; Li, Su X; Miller, Robin L; Korelitz, James; Price, Georgine N; Rivera Torres, Carmen M; Chutuape, Kate S; Stines, Stephanie J; Straub, Diane M; Peralta, Ligia; Febo, Irma; Hightow-Weidman, Lisa; Gonin, René; Kapogiannis, Bill G; Ellen, Jonathan M
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
4. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
5. A computational logic
پدیدآورنده : / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
6. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
7. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: (طهران)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
8. A glossary of terms for UN delegates /
پدیدآورنده : main contributors, Ronald A. Walker, Brook Boyer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : United Nations,United Nations,Nations Unies,Nations Unies-- Abréviations.,United Nations.,Diplomacy, Terminology.,Diplomatie-- Terminologie.,Diplomacy.,LAW-- Constitutional.,LAW-- Public.
رده :
JZ4970
.
U57
2005eb
9. A history of mathematics
پدیدآورنده : Boyer, Carl Benjamin, 6091-6791
کتابخانه: (طهران)
موضوع : History ، Mathematics
رده :
QA
21
.
B69H4
10. A history of mathematics
پدیدآورنده : Boyer, Carl Benjamin, 6091-6791
کتابخانه: (طهران)
موضوع : History ، Mathematics
رده :
QA
21
.
B69H4
2010
11. A history of mathematics
پدیدآورنده : / Uta C. Merzbach and Carl B. Boyer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mathematics--History
رده :
QA
,
21
,.
B767
,
2011
12. A history of mathematics
پدیدآورنده : Boyer, Carl B.
کتابخانه: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)
موضوع : ، Mathematics - History
رده :
QA
21
.
B6
1968
13. <A> history of mathematic
پدیدآورنده : / [by] Carl B. Boyer
موضوع :
۸ نسخه از این کتاب در ۶ کتابخانه موجود است.
14. A history of mathematics
پدیدآورنده : BOYER,CARL B
کتابخانه: (طهران)
موضوع : MATHEMATICS-HISTORY
رده :
QA
21
.
B767
15. A history of mathematics
پدیدآورنده : / Carl B. Boyer
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - History
رده :
510
.
9
B791
16. A history of mathematics
پدیدآورنده : Boyer, Carl Benjamin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Mathematics
رده :
QA
21
.
B767
2011
17. A history of mathematics
پدیدآورنده : Boyer, Carl B.)Carl Benjamin(
موضوع : ، Mathematics-- History
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. A history of mathematics
پدیدآورنده : Boyer, Carl B. )Carl Benjamin(
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : History ، Mathematics
رده :
QA
21
.
B767
1989
19. A history of mathematics
پدیدآورنده : Boyer, Carl Benjamin
کتابخانه: (طهران)
موضوع : Mathematics History
رده :
QA
21
.
B767
1989
20. <A> history of mathematics
پدیدآورنده : / (by) Carl B. Boyer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics - History
رده :
QA21
.
B767
1989
