کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFirst Course in Mathematical Logic and Set Theory
پدیدآورنده: \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
A Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده: / Peter Paule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
A Theory of Textuality: The Logic and Epistemology
پدیدآورنده: Gracia, Jorge J.E.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
B
105
.
M4
G7
1995
A beginner's guide to Programming logic and design
پدیدآورنده: Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
A computer based biomedical information system: I. Logic foundation and techniques
پدیدآورنده: Syner, James C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Information storage and retrieval systems
رده :
Z
699
.
5
.
M39
S9
A course in mathematical logic by J.L. Bell and M. Machover
پدیدآورنده: Bell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
B3953
A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics
پدیدآورنده: / Laecio Carvalho de Barros, Rodney Carlos Bassanezi, Weldon Alexander Lodwick, Barros, Laecio Carvalho
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Fuzzy logic.,Fuzzy sets.
رده :
QA76
.
B4F5
2017
A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics : Theory and applications
پدیدآورنده: Barros, Lacio Carvalho de
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Fuzzy logic
رده :
QA
76
.
9
.
B32
F5
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
.
H34
2004
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Shawn Hedman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده: Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
A first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
A guide to programming logic and design: introductory
پدیدآورنده: Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
A history and interpretation of the logic of Hegel
پدیدآورنده: Giacomo Rinaldi
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Hegel, Georg Wilhelm Friedrich, - 1770-1831. Phanomenologie des geistes,Logic, Modern--19th century.
A history of Indian logic; (Ancient, Mediaeval and Modern Schools)
پدیدآورنده: / By Mahamahopadyaya. Satis Chandra Vidyabhusana,Vidyabhusana
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Arabic imprin%
رده :
BC
25
.
V5
A quick and gentle guide to constraint logic programming via ECLiPSe
پدیدآورنده: Antoni Niederliński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.
A science of operations: Machines, logic and the invention of programming
پدیدآورنده: / Mark Priestley (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
A study of Husserl`s formal and transcendental logic
پدیدآورنده: / [Translated by Lester E.Embreee],Bachelard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Husserl, Edmund,1859-1938.Formale und transzendentale logik
رده :
B3279
.
H95B33
A system of Indian logic: The nyaya theory of inference, analysis , text , translation and
پدیدآورنده: Vattanky, John
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع: ، Logic - India,، Knowledge, Theory of
رده :
BC
39
.
5
.
V37
A system of Indian logic: the Nyaya theory of inference: analysis, text, translation and
پدیدآورنده: / John Vattanky
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
رده :
B
۱۳۲
/
ن
۹
و
۲ ۱۳۸۲
A system of logic, ratiocinative and inductive
پدیدآورنده: / by John Stuart Mill
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic.,Science--Methodology,Knowledge, Theory of.
A system of logic ratiocinative and inductive: Being a connected view of the principles of evidence, and the methods of scientific investigation
پدیدآورنده: Mill, John Stuart, 6081-3781
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Logic,Methodology ، Science,، Knowledge, Theory of
رده :
BC
91
.
M6S9
A system of logic, ratiocinative and inductive;being a connected view of the principles of evidence, and the methods of scientific investigation.
پدیدآورنده: Mill, John Stuart 6081-3781.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
91
.
M5
A8
2002
A systems analysis of the logic of research and information processes: reasoning patterns...
پدیدآورنده: /Werner Kunz
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry
پدیدآورنده: Kunz, Werner, 2291-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Chemistry, Organic- Research,، Research
رده :
QD
256
.
K9
Abu Bishr Matta and Abu Sa'id al-Sirafi on the merits of logic and grammar
پدیدآورنده : / by D.S. Margoliouth
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaint
پدیدآورنده: / by Janusz T. Starczewski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering,Computer simulation,Engineering design,Electronic books
رده :
E-BOOK
Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty
پدیدآورنده: / Janusz T. Starczewski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Advanced Digital Logic Design: using Verilog, State Machines, and Synthesis for FPGAs
پدیدآورنده: Sunggu Lee
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic circuits -- design and construction -- data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK
،
7868
،.
L6
,
L4
،
2006
Advanced Techniques in Logic Synthesis, Optimizations and Applications
پدیدآورنده: / Kanupriya Gulati
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده :
E-BOOK
Advanced concepts in fuzzy logic and systems with membership uncertainty
پدیدآورنده: Starczewski, Janusz T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Fuzzy sets,، Uncertainty )Information theory(,، Fuzzy logic
رده :
QA
248
.
5
.
S73
Advanced concepts in fuzzy logic and systems with membership uncertainty
پدیدآورنده: Janusz T. Starczewski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Fuzzy logic,Fuzzy sets,Uncertainty (Information theory)
رده :
QA248
.
5
.
S73
2013
Advanced concepts in fuzzy logic and systems with membership uncertainty
پدیدآورنده: Janusz T. Starczewski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Fuzzy logic,، Fuzzy systems,، Fuzzy sets,Mathematical models ، Uncertainty )Information theory(
رده :
QA
248
.
5
.
S72A3
Advanced digital logic design: using VHDL, State machines, and synthesis for FPGAS
پدیدآورنده: Sunggu Lee
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits
رده :
TK
,
7868
,
L6L44
,
2006
Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs
پدیدآورنده: Sunggu Lee
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic design -- Data processing,، Digital electronics,، VHDL )Computer hardware description language(,، Sequential machine theory,، Application specific integrated circuits
رده :
TK
7868
.
L6L43
Advanced digital logic design using verilog, state machines, and synthesis for FPGAs
پدیدآورنده: Lee, Sunggu
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic design ► Digital electronics. ► Verilog (Computer hardware description language) ► Sequential machine theory. ► Application-specific integrated circuits
رده :
7868
.
L6L44
Advanced digital logic design using verilog, state machines, and synthesis for fpgas
پدیدآورنده: Sunggu Lee
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Logic Circuits- Computer,Verilog (Computer Hardward Description Languye)
رده :
TK
,
7868
,.
L44
,
A3
,
2006
Advanced low - Power Schottky and advanced Schottky logic Cricuits
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic circuits -- Handbooks, manuals, etc,Digital electronics -- Handbooks, manuals, etc
رده :
TK
7868
.
L6A36
1983
Advanced low-power Schottky and advanced Schottky logic circuits
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Logic circuits- Handbooks, manuals, etc,، Digital electronics- Handbooks, manuals, etc,، Diodes, Schottky barrier- Handbooks, manuals, etc
رده :
TK
7868
.
A38
Advanced low-power Schottky and advanced Schottky logic circuits
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic circuits- Handbooks, manuals, etc,، Digital electronics- Handbooks, manuals, etc,، Diodes, Schottky barrier- Handbooks, manuals, etc
رده :
TK
7868
.
L6A36
Advanced low-power Schottky and advanced Schottky logic circuits data book
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع: Logic circuits--Handbooks, manuals, etc,Digital electronics--Handbooks, manuals, etc,Diodes, Schottky barrier--Handbooks, manuals, etc
رده :
TK7868
.
L6
,
A36
1982
Advanced low-power Schottky and advanced Schottky logic circuits data book
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic circuits, Handbooks, manuals, etc,Digital electronics, Handbooks, manuals, etc,Diodes, Schottky barrier, Handbooks, manuals, etc
رده :
TK7868
.
L6
,
A36
1996
R
Advanced techniques in logic synthesis, optimizations and application
پدیدآورنده: / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic design,Electronic books
رده :
TK7888
.
4
.
A38
2011
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Logic circuits--Computer-aided design.,Logic design--Data processing.
رده :
TK
7868
.
L6
A3
2011
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic circuits--Computer-aided design,Logic design--Data processing
رده :
TK7868
.
L6
,
A365
2011
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic circuits, Computer-aided design,Logic design, Data processing
رده :
TK
،
7868
،.
L6
,
A365
،
2011
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computer-aided design ، Logic circuits,Data processing ، Logic design
رده :
TK
7868
.
L6
.
A365
2011
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic circuits, Computer-aided design,Logic design, Data processing
رده :
E-BOOK
Advanced techniques in logic synthesis, optimizations and applications
پدیدآورنده: / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic circuits, Computer-aided design,Logic design, Data processing
رده :
TK7868
.
L6A365
2011
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: / Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Advances in computational and stochastic optimization, logic programming, and heuristic search :
پدیدآورنده: edited by David L. Woodruff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
Advances in computational and stochastic optimization, logic programming, and heuristic search
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Operations research►Mathematical optimization
رده :
57
.
A34
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
Advances in fuzzy logic and technology 2017: proceedings of: EUSFLAT- 2017 - The 10th Conference of
پدیدآورنده: / Edited y Janusz Kacprzyk... [et al.].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Fuzzy logic -- Congresses.,Fuzzy logic.,Fuzzy logic.
Advances in fuzzy logic, neural networks, and genetic algorithms
پدیدآورنده: / Takeshi Furuhashi, (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Neural networks (Computer science),Fuzzy systems,Genetic algorithms
رده :
QA76
.
87
.
I346
1995
Advances in fuzzy logic, neural networks, and genetic algorithms: IEEE/Nagoya University World
پدیدآورنده: Takeshi Furuhashi, ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Neural networks )Computer science(,، Fuzzy systems,، Genetic algorithms
رده :
QA
76
.
L4
v
.
1011
Advances in fuzzy logic, neural networks, and genetic algorithms : IEEE/Nagoya-University World
پدیدآورنده: Takeshi Furuhashi )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Neural networks )Computer science(,، Fuzzy systems,، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
1011
Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده: \ [edited by] Thomas Eiter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
Advances in logic, artificial intelligence, and robotics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
Advances in logic, artificial intelligence, and robotics :
پدیدآورنده: edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
Advances in logic, artificial intelligence and robotics
پدیدآورنده: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
رده :
Q
,
334
,.
C684
,
2002
Advances in logic, artificial intelligence, and robotics
پدیدآورنده: Congress of Logic Applied to Technology (3rd :2002 :Sao Paulo, Brazil)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Artificial intelligence- Congresses►Logic, Symbolic and mathematical- Congresses►Robotics- Congresses
رده :
334
.
C69
Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
Advances in logic, artificial intelligence and robotics Laptec 2002
پدیدآورنده: / Abe J M (eds )
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC|ROBOTICS&ENGINEERING, ELECTRICAL
رده :
E-BOOK
1940-Adventure of Reason : Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900
پدیدآورنده: Mancosu, Paolo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: HISTORY,Religion and Philosophy
African dictators : the logic of tyranny and lessons from history
پدیدآورنده: Arthur A. Nwankwo
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: Dictators - Africa - History - 20th century,Despotism - Africa - History - 20th century,Africa - Politics and government - 1960-,State-sponsored terrorism - Africa - History - 20th century
After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده: Tieszen, Richard L
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Godel, Kurt ► Logic, Symbolic and mathematical
رده :
511
T564a
After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده: Richard Tieszen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
After Gغodel :Platonism and rationalism in mathematics and logic
پدیدآورنده: Tieszen, Richard L.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
رده :
QA9
.
T54
2011
Agency and deontic logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Deontic logic. ; Agent (Philosophy) ;
Agency and deontic logic
پدیدآورنده: / John F. Horty
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Deontic logic.,Agent (Philosophy)
رده :
BC
,
145
,.
H67
,
2001
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
Alfred Tarski: Philosophy of Language and Logic
پدیدآورنده: Douglas Patterson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE,Religion and Philosophy
Alfred Tarski: Philosophy of Language and Logic (History of Analytic Philosophy)
پدیدآورنده: Douglas Patterson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE,HISTORY,Religion and Philosophy,POLITICAL SCIENCE,Literature,ART
Alfred Tarski: life and logic
پدیدآورنده: / Anita Burdman Feferman, Solomon Feferman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: ت‍ارس‍ک‍ی، آل‍ف‍رد،Tarski, Alfred,منطق ریاضی,Logicians - United States - Biography
رده :
QA
۲۹
/
ت
۲
ف
۷ ۱۳۸۳
Alfred Tarski: life and logic
پدیدآورنده: Feferman, Anita Burdman.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
Alfred Tarski: life and logic
پدیدآورنده: Feferman, Anita Burdman
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
رده :
QA
29
.
T32
.
F44
2004
Alfred Tarski : life and logic
پدیدآورنده: Anita Burdman Feferman, Solomon Feferman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians -- United States
رده :
QA
29
.
T32F43
Algebra and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical- Congresses►Algebra- Congresses►Group theory- Congresses►Commutative rings- Congresses
رده :
3
.
L28
,
no
.
Algebra and logic
پدیدآورنده: / edited by J. N. Crossley
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Algebra -- Congresses,Group theory -- Congresses,Commutative rings -- Congresses
رده :
QA
9
.
A4
1975
Algebra and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical- congresses ► Algebra- Congresses ► Groups, thory of Congresses ► Commutative rings- Congresses
رده :
511
A394
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده: edited by J. N. Crossley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده: edited by J. N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده: edited by J.N.Crossley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
Algebra, logic, and combinatorics
پدیدآورنده: \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده: C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده: / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Algebraic logic- Congresses,Algebra, Universal- Congresses
رده :
QA10
.
A45
1990
Algebraic and Logic Programming :
پدیدآورنده: edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
رده :
QA
،
76
.
6
،.
A4583
،
1988
Algebraic and logic programming
پدیدآورنده: / J. Grabowski, P. Lescanne, W. Wechler (eds.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming -- Congresses,Algebraic logic -- Congresses
رده :
QA
76
.
6
.
A4583
1988
Algebraic and logic programming :
پدیدآورنده: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
Algebraic and logic programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic programming
رده :
005
A394
Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
پدیدآورنده: H. Kirchner, W. Wechler, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
463
Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده: H. Kirchner, G. Levi, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
632
Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
10
.
I5
1988
