5321. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
5322. Temporal logic of programs
پدیدآورنده: KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
5323. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
5324. Temporal modalities in Arabic logic
پدیدآورنده: Rescher, Nicholas.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Modality )Logic(,Arab countries ، Logicians
رده :
BC
199
.
M6R4
5325. Temporary organizations prevalence, logic and effectiveness
پدیدآورنده: edited by Patrick Kenis, Martyna Janowicz-Panjaitan, Bart Cambre
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Business enterprises,Associations, institutions, etc
رده :
HD
62
.
8
.
T46
2009
5326. Tense Logic /
پدیدآورنده: by Robert P. McArthur.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Logic.,Logic.,Philosophy & Religion.,Philosophy.
رده :
BC1-199
5327. Term logic with choice operator
پدیدآورنده: Hermes, Hans
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
1970
5328. Term logic with choice operator
پدیدآورنده: / Hans Hermes
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
H54
1970
5329. Term logic with choice operator
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
6
5330. Term logic with choice operator
پدیدآورنده: Hermes, Hans.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
6
5331. Term logic with choice operators
پدیدآورنده: Hermes, Hans
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
6
5332. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
63
.
P58
1990
5333. Termination proofs for logic programs
پدیدآورنده: Plumer, Lutz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
446
5334. Termination proofs for logic programs /
پدیدآورنده: Lutz Plümer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic programming.
رده :
QA76
.
63
.
P58
1990
5335. Test your logic : 50 puzzles in deductive reasoning
پدیدآورنده: Summers, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Puzzles
رده :
GV
1507
.
Q5
S82
1972
5336. Testing the Logic of Unilateral Withdrawal: Lessons from the History of the Labor Zionist Movement
پدیدآورنده: Nadav Shelef
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
5337. Textbook of logic
پدیدآورنده: Wolf, Abraham, 6781-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، logic
رده :
BC
108
W7
5338. Textbook of logic
پدیدآورنده: / by A. Wolf,Wolf
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Arabic imprin%
رده :
BC
108
.
W7
5339. Textbook of logic
پدیدآورنده: / by A. Wolf
کتابخانه: کتابخانه دانشکده حقوق و علوم سیاسی (دانشگاه تهران) (تهران)
موضوع: Logic
رده :
BC108
.
W7
1948
5340. Textbook of logic
پدیدآورنده: Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic
رده :
BC
.
W7
,
1930a
108
