7641. Vivid logic :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;

7642. Vivid logic : knowledge-based reasoning with two kinds of negation

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
764

7643. Vollstandige Systeme modaler und intuitionistischer Logik

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
S3793

7644. Vollstandige systeme modaler und intuitioni tischor logik

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Model theory,، Logic symbolic and mathematical

رده :
QA
9
.
7
.
S39V6

7645. Vollstandige systeme modaler und intuitionistischer Logik

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
S46
1968

7646. WITTGENSTEINIAN (adj.) :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic.,Logic.

رده :
B1-5802

7647. Waht is mathematical logic ?

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Logic, symbolic and mathematical

رده :
511
.
3
Wh

7648. Ways a world might be :metaphysical and anti-metaphysical essays

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع: ، Modality )Logic(

رده :
BC199
.
M6
S73
2003

7649. Web Reasoning and Rule Systems

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها

رده :
TK
5105
.
88815
.
W4
2015
E-Book
,

7650. Web Services and Formal Methods :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

7651. Web reasoning and rule systems

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses

رده :
TK5105
.
88815
.
R8
2012eb

7652. What Logics Mean

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی

رده :
BC71
.
G37
2013

7653. What is Meaning?

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Meaning (Philosophy),Sense (Philosophy),معنی (فلسفه),a03,a03,a03,Proposition (Logic),(گزاره (منطق

رده :
B
105
.
S62W46
2010
E-Book
,

7654. What is Philosophy?

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Philosophy,Science,Logic,Aesthetics,فلسفه,علوم,منطق,زیبائی شناسی

رده :
B2430
.
D45
,
Q4713
1994

7655. What is a logical system?

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Logic, Symbolic and mathematical,، Computer science

رده :
QA
9
.
2
.
W48
1994

7656. What is mathematical logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical

رده :
QA
9
.
W43
1972

7657. What is mathematical logic?

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع: Logic, symbolic and mathematical

رده :
QA9
.
W55

7658. What is mathematical logic?

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Logic, Symbolic and mathematical. ;

7659. What is mathematical logic?

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Logic, Symbolic and mathematical.

رده :
QA9
,.
W47
,
1990

7660. What is negation?

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Negation (Logic)

رده :
BC199
.
N4
E358
2011