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
