کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابComputational Logic
پدیدآورنده: \ Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving.
رده :
E-Book
,
A computational logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving. ;
A computational logic
پدیدآورنده: Robert S. Boyer and J. Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
A computational logic
پدیدآورنده: / Robert S. Boyer and J Strother Moore
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Automatic theorem proving
رده :
QA76
.
9
.
A96B68
A computational logic
پدیدآورنده: / Robert S. Boyer and J. Strother Moore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
A computational logic handbook
پدیدآورنده: BOYER,ROBERT S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
Advances in computational and stochastic optimization, logic programming, and heuristic search :
پدیدآورنده: edited by David L. Woodruff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
Agent Systems-Computational Logic in Multi
پدیدآورنده: Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: / o Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan WoltranعJo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Agent Systems-Computational Logic in Multi
پدیدآورنده: Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: o Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan WoltranعJo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: / gotnes, Guido Boella, Leon Torreo Leite, Paolo Torroni, Thomas عJo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Agent Systems-Computational Logic in Multi
پدیدآورنده: / o Leite, Guido Governatori, Wojtek Jamrogaعrgen Dix, JoJی
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Agent Systems-Computational Logic in Multi
پدیدآورنده: o Leite, Guido Governatori, Wojtek Jamrogaعrgen Dix, JoJی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: kعrgen Dix, Michael Fisher, Peter NovJی
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: gotnes, Guido Boella, Leon Torreo Leite, Paolo Torroni, Thomas عJo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Agent Systems-Computational Logic in Multi
پدیدآورنده: / kعrgen Dix, Michael Fisher, Peter NovJی
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Agent Systems-Computational Logic in Multi
پدیدآورنده: / Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Agent Systems-Computational Logic in Multi
پدیدآورنده: / Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
Applied logic for computer scientists : computational deduction and formal proofs
پدیدآورنده: Mauricio Ayala-Rincon, Flavio L. C. de Moura
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Computer science -- Mathematics
رده :
QA
76
.
9
.
L63A92
COMPUTATIONAL INTELLIGENCE AND ITS APPLICATIONS: EVOLUTIONARY COMPUTATION, FUZZY LOGIC, NEURAL NETWORK AND SUPPORT VECTOR MACHINE TECHNIQUES
پدیدآورنده: LAM HAK KEUNG ET AL
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
COMPUTATIONAL INTELLIGENCE AND ITS APPLICATIONS: EVOLUTIONARY COMPUTATION, FUZZY LOGIC, NEURAL NETWORK AND SUPPORT VECTOR MACHINE TECHNIQUES
پدیدآورنده: / LAM HAK KEUNG ET AL
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Computational Logic :
پدیدآورنده: edited by John W. Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
QA76
.
9
.
A96
E358
1990
Computational Logic - CL 2000 :
پدیدآورنده: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
Computational Logic and Human Thinking
پدیدآورنده: / Kowalski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
رده :
E-BOOK
Computational Logic and Human Thinking
پدیدآورنده: Kowalski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Computational Logic and Human Thinking : How to be Artificially Intelligent
پدیدآورنده: / Kowalski, Robert
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Computational Logic and Human Thinking : How to be Artificially Intelligent
پدیدآورنده: Kowalski, Robert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Religion and Philosophy
Computational Logic and Set Theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computational Logic in Multi-Agent Systems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
Computational aspects of an order-sorted logic with term declarations
پدیدآورنده: Schmidt-Schauss, Manfred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Sorting )Electronic computers(
رده :
QA
9
.
S343
1989
Computational aspects of an order-sorted logic with term declarations
پدیدآورنده: M. Schmidt-Schauss
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Sorting )Electronic computers(
رده :
QA
76
.
L28
Vol
.
395
Computational aspects of linear logic /
پدیدآورنده: Patrick Lincoln.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Data processing.,Proof theory.,Logic, Symbolic and mathematical-- Data processing.,Proof theory.
رده :
QA9
.
L565
1995
Computational intelligence: synergies of fuzzy logic, neural networks, and evolutionary computing
پدیدآورنده: Siddique, N. H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computational intelligence
رده :
Q
342
.
S53
Computational intelligence :synergies of fuzzy logic, neural networks, and evolutionary computing
پدیدآورنده: Siddique, N. H.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Computational intelligence
رده :
Q
342
.
S53
2013
Computational intelligence : synergies of fuzzy logic, neural networks, and evolutionary computing
پدیدآورنده: / N. H. Siddique, Hojjat Adeli
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Computational intelligence.,Inventions,Engineering--Methodology
رده :
Q342
.
S53
2013
Computational logic
پدیدآورنده: edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.
Computational logic
پدیدآورنده: / J.W. Lloyd (ed.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA76
.
9
.
A96
,
C654
1990
Computational logic
پدیدآورنده: edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.
رده :
QA76
.
9
.
L63
E358
1999
Computational logic
پدیدآورنده: / J .W .Lloyd ( ed )
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96C654
1990
Computational logic--CL 2000 : First International Conference, London, UK, July 2000 : proceedings
پدیدآورنده: John Lloyd...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
1861
Computational logic and human thinking :
پدیدآورنده: Robert Kowalski
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Communication-- Philosophy,Computational intelligence,Critical thinking,Logic, Symbolic and mathematical-- Famous problems,Reasoning,Rhetoric-- Mathematics
رده :
Q342
.
K69
2011
Computational logic and human thinking : how to be artificially intelligent
پدیدآورنده: / Robert Kowalski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Computational logic and human thinking : how to be artificially intelligent
پدیدآورنده: Robert Kowalski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Religion and Philosophy
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set theory
رده :
E-BOOK
Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
Computational logic and set theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Set theory. ;
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Set theory.
رده :
QA
,
248
,.
S364
,
2011
Computational logic and set theory applying formalized logic to analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Set theory
رده :
QA248
.
S364
2011
Computational logic in multi-agent system
پدیدآورنده: / J?�rgen Dix, Jo?uo Leite (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2004
Computational logic in multi-agent system
پدیدآورنده: / Jeurgen Dix ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2010
Computational logic in multi-agent system
پدیدآورنده: / Fariba Sadri, Ken Satoh (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses
Computational logic in multi-agent systems
پدیدآورنده: Jürgen Dix ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses.,Intelligent agents (Computer software), Congresses.
Computational logic in multi-agent systems
پدیدآورنده: / Francesca Toni, Paolo Torroni (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses,CLIMA,Multi-agent systems,Computational logic
رده :
QA
,
76
.
9
,.
L63
,
C67
,
2005
Computational logic in multi-agent systems :
پدیدآورنده: João Leite [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
Computational logic in multi-agent systems :
پدیدآورنده: João Leite [and 4 others] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational intelligence, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
C55
2013
Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale
پدیدآورنده: Juergen Dix, Joao Leite )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3259
Computational logic in multi-agent systems : 5th International Workshop, CLIMA V, Lisbon, Portugal
پدیدآورنده: Joao Leite, Paolo Torroni )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3487
Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
پدیدآورنده: Francesca Toni, Paolo Torroni )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
L28
Vol
.
3900
Computational logic in multi-agent systems: 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004: revised selected and invited papers
پدیدآورنده: Joao Leite, Paolo Torroni )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
9
.
L63
C656
2004b
Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
پدیدآورنده: Antonis C. Kakas, Fariba Sadri )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده: J.W. Lloyd )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده: J.W. Lloyd )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
A96S97
1990
Computational ospects of on order sorted logic with term declarations
پدیدآورنده: Schmidt, Schaub, M
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع:
رده :
S354c
Computational psychoanalysis and formal bi-logic frameworks
پدیدآورنده: by P. Sumathy, P. Shanmugavadivu, A. Vadivel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Deontic logic, computational linguistics and legal information systems
پدیدآورنده: ^aInternational conference on logic informatics law. Florence, 1981
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Artificial intelligence- congresses ► Information storage and retrieval systems- Law- Congresses ► Law- Decision making- congresses
رده :
I61d
Digital logic/Computational integrated circuits D. A. T. A. book
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers
رده :
QA
76
.
5
.
D47
Intellectics and Computational Logic
پدیدآورنده: edited by Steffen Hölldobler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General).
Life-Cycle Energy Demand of Computational Logic:
پدیدآورنده: Bol, DavidBoyd, SarahDornfeld, David
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Life-Cycle Energy Demand of Computational Logic:
پدیدآورنده: Bol, DavidBoyd, SarahDornfeld, David
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Logic and algorithms in computational linguistics 2018 (LACompLing2018)
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational linguistics ; Congresses. ;
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Computational complexity-- Congresses
رده :
QA
9
.
A1
.
L625
1995
Logic and computational compxity:International workshop lcc,94 Internapolis,IN,USA,october
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع:
رده :
QA9
.
54
.
l67
1994
Martin Davis on computability, computational logic, and mathematical foundations
پدیدآورنده: Eugenio G. Omodeo, Alberto Policriti, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
رده :
QA
241
.
M38
Molecular logic and computational synthetic biology :
پدیدآورنده: Madalena Chaves, Manuel A. Martins (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational biology, Congresses.,Synthetic biology, Congresses.,Computational biology.,Synthetic biology.
رده :
TA164
Molecular logic and computational synthetic biology :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Synthetic biology ;
Optimization and computational logic
پدیدآورنده: McAloon, Kenneth.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
رده :
T
57
.
74
.
M39
1996
17, 2010, Proceedings-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-Computational Logic in Multi
پدیدآورنده: / rgen Dix, Joao Leite, Guido Governatori, Wojtek JamrogaJی
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Program development in computational logic : a decade of research advances in logic-based program development
پدیدآورنده: Maurice Bruynooghe, Kung-Kiu Lau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3049
Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing-Computational Intelligence
پدیدآورنده: / Siddique
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, MECHANICAL
رده :
E-BOOK
TIME & LOGIC: A Computational Approach
پدیدآورنده: Bolc, Leonard
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
75
.
5
.
B6
T5
1995
Temporal logic : mathematical foundations and computational aspects
پدیدآورنده: Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
agent systems-Computational logic in multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
