6001. Why prolog?: justifying logic programming for practical applications

المؤلف:

المکتبة: (طهران)

موضوع: ، Prolog )Computer program language(,، Logic programming

رده :
QA
76
.
73
.
P76
L38
1989

6002. #Wide Range Logic Ic Tester

المؤلف:

المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)

موضوع: #BS

6003. William of Sherwood's Introduction to logic /

المؤلف:

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

موضوع: Logic, Early works to 1800.,Logic, Medieval.,Logic, Medieval.,Logic.

رده :
BC60
.
S513
1975

6004. Wittgenstein on logic as the method of philosophy :

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

6005. Wittgenstein's Notes on Logic

المؤلف:

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

موضوع: Wittgenstein, Ludwig, 1889-1951. Notes on logic,Logic,ویتگنشتاین ، لودویگ ،۱۹۵۱-۱۸۸۹ . یادداشت های منطق,منطق

رده :
B3376
.
W563
,
Z85
20020119

6006. Wittgenstein's notes on logic

المؤلف:

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

موضوع: ، Wittgenstein, Ludwig,9881-1591.Notes on logic,، Logic

رده :
B3376
.
W563
Z85
2009

6007. Wittgenstein's notes on logic /

المؤلف:

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

موضوع: Wittgenstein, Ludwig,1889-1951., Notes on logic.,Russell, Bertrand.,Wittgenstein-- Ludwig-- 1889-1951-- Notes on logic.,Wittgenstein, Ludwig.,Wittgenstein, Ludwig., Notes on logic.,Logic.,Logic.,Logik.,PHILOSOPHY-- History & Surveys-- Modern.,Rezeption

رده :
B3376
.
W563
Z85
2009eb

6008. Wittgenstein's notes on logic

پدیدآورنده :

موضوع : Wittgenstein, Ludwig, 1889-1951. -- Notes on logic,Logic

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

6009. Wnt Signaling and Developmental Logic in Human Stem Cell Populations

المؤلف:

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

6010. Words of power : a feminist reading of the history of logic

المؤلف:

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

موضوع: Logic - History,Feminist theory

رده :
BC
.
N94
57
1990

6011. Words of power : a feminist reading of the history of logic

المؤلف:

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

موضوع: Logic - History,Feminist theory

رده :
BC
.
N94
57
1990

6012. Words of power : a feminist reading of the history of logic

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (طهران)

موضوع: Feminist theory ***** Logic > History *****

6013. Words without objects :semantics, ontology, and logic for non-singularity

المؤلف:

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

رده :
P
325
.
L3
W6
2006

6014. Workbook for Essentials of Logic

المؤلف:

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

رده :
BC
108
.
M3
W6
1968

6015. Year Perspective on Logic Programming-A 25

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :
E-BOOK

6016. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

6017. Yeats and the logic of formalism /

المؤلف:

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

موضوع: Yeats, W. B., (William Butler),1865-1939-- Criticism and interpretation.,Formalism (Literary analysis),Philosophy in literature.

رده :
PR5907
.
B36
2006

6018. agent systems-Computational logic in multi

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

موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;

6019. agent systems-Computational logic in multi

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

موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;

6020. agent systems-Computational logic in multi

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

موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;