381. Advocacy and opposition :
المؤلف: Karyn Charles Rybacki, Donald Jay Rybacki.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.,Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.
رده :
P301
.
5
.
P47
R93
2012
382. After Godel : Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: (طهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
383. After Gغodel :Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
رده :
QA9
.
T54
2011
384. Against the logicians
المؤلف: Sextus Empiricus ; translated and edited by Richard Bett,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Early works to 1800
رده :
B
.
P682
,
E5
621
2005
385. Agency and deontic logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Deontic logic. ; Agent (Philosophy) ;
386. Agency and deontic logic
المؤلف: / John F. Horty
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Deontic logic.,Agent (Philosophy)
رده :
BC
,
145
,.
H67
,
2001
387. Agenda relevance :
المؤلف: Dov M. Gabbay and John Woods.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Logic.
رده :
BC71
.
G315
2003eb
388. Agent-Based Defeasible Control in Dynamic Environments.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
389. Agile estimating and planning /
المؤلف: Mike Cohn.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Agile software development.,Computer software-- Development.,Project management-- Estimates.,Project management-- Planning.,Logiciels-- Développement.,Agile software development.,Agile Softwareentwicklung,Aufwandsschätzung,Computer software-- Development.,Datorprogram.,Programutveckling.,Project management-- Planning.,Software Engineering
رده :
QA76
.
76
.
D47
C6427
2006
390. Air logic control for automated systems
المؤلف: Wojtecki, Rudy G.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Pneumatic control,، Logic circuits
رده :
TJ
219
.
W64
1999
391. Air logic control for automated systems
المؤلف: Wojtecki, Rudy
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Pneumatic control,، Logic circuits
رده :
TJ
219
.
W64
1999
392. Air logic control for automated systems
المؤلف: / Rudy Wojtecki
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Pneumatic control,Logic circuits
رده :
629
.
8045
W847A
1999
393. Air logic control for automated systems
المؤلف: / Rudy Wojtecki
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Pneumatic control,Logic circuits
رده :
TJ219
.
W64
1999
394. Aktive Synthesen:
المؤلف: herausgegeben von Roland Breeur.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Phenomenology.,Philosophy (General)
395. Al-Farabi's commentary and short treatise on Aristotle's De interpretatione
المؤلف: Farabi, Muhammad-ibn-Muhammad
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Aristotle, de interpretatione,Early works to 0081 ، Logic
رده :
B
439
.
F3513
396. Al-Farabi's commentary and short treatise on Aristotle's De interpretatione
المؤلف: / translated with an introduction and notes by F.W. Zimmermann
المکتبة: (طهران)
موضوع: Aristotle., De interpretatione,Logic - Early works to 1800,فارابی، محمد بن محمد، ۰۶۲ - ۹۳۳ ق. کتاب العباره - نقد و تفسیر
رده :
BBR308
.
F3513
397. Al-Madkhal Li-Sina at al-mantiq
المؤلف: Abul Hajjaj Yusuf ibn Muhammad ibn Tumlus
المکتبة: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع: Logic,Philosophy, Islamic
رده :
160
I13MT
398. Alan Turing :
المؤلف: edited by S. Barry Cooper and Jan van Leeuwen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
399. Alan Turing : his work and impact
المؤلف: Cooper, S. B. )S. Barry(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8
C65
2013
