5741. Tools and techniques for multi-valued networks using rewriting logic
پدیدآورنده : Alhumaidan, Abdullah Saleh A.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
5742. Tools and techniques in modal logic
پدیدآورنده : Kracht, Marcus
کتابخانه: (طهران)
موضوع : ، Modality )Logic(
رده :
QA
9
.
46
.
K7
5743. Tools for Teaching Logic
پدیدآورنده : / Toscano-a Manzano, Fernando SolerکPatrick Blackburn, Hans Ditmarsch, Mar
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5744. Tools for structured design: an introduction to programming logic
پدیدآورنده : Bohl, Marilyn
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Structured programming
رده :
QA
76
.
6
.
B63
1993
5745. Topics in Philosophical Logic
پدیدآورنده : by Nicholas Rescher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
5746. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
5747. Topics in modern logic
پدیدآورنده : Makinson, David Clement
کتابخانه: (طهران)
موضوع : ، Logic
رده :
BC
108
.
M247T6
5748. Topoi : The categorial analysis of logic
پدیدآورنده : Goldblatt, Robert
کتابخانه: (طهران)
موضوع : ، Toposes
رده :
QA
169
.
G64
1983
5749. Topoi, the categorial analysis of logic
پدیدآورنده : Goldblatt, Robert.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Toposes
رده :
QA
169
.
G64
1984
5750. #Topoi, the categorial analysis of logic
پدیدآورنده : #Robert Goldblatt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Toposes
رده :
#
QA
،#.
G64
،#
1984
5751. Topoi, the categorial analysis of logic
پدیدآورنده : / Robert Goldblatt
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Toposes
رده :
QA169
.
G64
1983
5752. Topology via logic
پدیدآورنده : Vickers, Steven
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Topology
رده :
QA
611
.
V53
1989
5753. Topology via logic
پدیدآورنده : / Steven Vickers
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Topology
رده :
514
V637t
5754. Topology via logic
پدیدآورنده : Vickers, Steven.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Topology
رده :
QA
611
.
V53
1989
5755. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
5756. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
5757. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: (طهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
5758. Towards a Design Flow for Reversible Logic
پدیدآورنده : / Robert Wille, Rolf Drechsler
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
5759. Towards a design flow for reversible logic
پدیدآورنده : Wille, Robert., Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer logic,، Computer architecture,، Logic programming
رده :
QA
76
.
9
.
L63
W55
2010
5760. Towards a design flow for reversible logic
پدیدآورنده : / Robert Wille, Rolf Drechsler
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic.,Computer architecture.,Logic programming.
رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010
