341. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
342. After Gغodel :Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Gغodel, Kurt,، Logic, Symbolic and mathematical
رده :
QA9
.
T54
2011
343. Against the logicians
پدیدآورنده : Sextus Empiricus ; translated and edited by Richard Bett,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Early works to 1800
رده :
B
.
P682
,
E5
621
2005
344. Agency and deontic logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Deontic logic. ; Agent (Philosophy) ;
345. Agenda relevance :
پدیدآورنده : Dov M. Gabbay and John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Logic.
رده :
BC71
.
G315
2003eb
346. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
347. 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
348. Air logic control for automated systems
پدیدآورنده : Wojtecki, Rudy G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Pneumatic control,، Logic circuits
رده :
TJ
219
.
W64
1999
349. Air logic control for automated systems
پدیدآورنده : Wojtecki, Rudy
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Pneumatic control,، Logic circuits
رده :
TJ
219
.
W64
1999
350. Air logic control for automated systems
پدیدآورنده : / Rudy Wojtecki
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Pneumatic control,Logic circuits
رده :
629
.
8045
W847A
1999
351. Air logic control for automated systems
پدیدآورنده : / Rudy Wojtecki
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Pneumatic control,Logic circuits
رده :
TJ219
.
W64
1999
352. Aktive Synthesen:
پدیدآورنده : herausgegeben von Roland Breeur.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Phenomenology.,Philosophy (General)
353. 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
354. Al-Farabi's commentary and short treatise on Aristotle's De interpretatione
پدیدآورنده :
موضوع : Aristotle- De interpretatione,Logic- Early works to 1800
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
355. 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
356. Al-Madkhal Li-Sina at al-mantiq
پدیدآورنده : Abul Hajjaj Yusuf ibn Muhammad ibn Tumlus
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Logic,Philosophy, Islamic
رده :
160
I13MT
357. 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
358. 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
359. Alan Turing : his work and impact
پدیدآورنده : Cooper, S. Barry, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical
رده :
QA
29
.
T8C66
360. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
