161. Automation of Reasoning with Incomplete Information.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
A986
9999
162. Automation of reasoning
Author: / edited by Jorg Siekmann and Graham Wrightson
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA76
.
9
،.
A96
,
A94
1983
163. Automation of reasoning
Author: edited by Jorg Siekmann and Graham Wrightson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96A97
164. BASED INTELLIGENT SYSTEMS, THE-HANDBOOK ON REASONING
Author: / NAKMATSU KAZUMI ET AL
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, MECHANICAL&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|AUTOMATION
Classification :
E-BOOK
165. BASIC LOGIC; The Fundamental Principles of Formal Deductive Reasoning
Author: Mc Call, Raymond J
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
108
.
M33
B3
1952
166. Bachelor of Social Work Students' Experience of Moral Reasoning at an Evangelical Christian University
Author: King, David
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ethics,Ethics,Moral reasonniig,Social work
167. Based Approximate Reasoning-Case
Author: / llermeierیEyke H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
168. Based Distributed Systems-Reasoning in Event
Author: / Sven Helmer, Alexandra Poulovassilis, Fatos Xhafa
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
169. Based Image Processing Intelligent Systems-Advances in Reasoning
Author: / Roumen Kountchev, Kazumi Nakamatsu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, CIVIL|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
170. Based Reasoning-Case
Author: / Michael M. Richter, Rosina O. Weber
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
171. Based Reasoning, Programming, and Applications-Rule
Author: / Nick Bassiliades, Guido Governatori, Adrian Paschke
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
172. Based Reasoning Research and Development-Case
Author: / Luc Lamontagne, Enric Plaza
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
Classification :
E-BOOK
173. Based Reasoning. Research and Development-Case
Author: / Isabelle Bichindaritz, Stefania Montani
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
Classification :
E-BOOK
174. Based Reasoning Research and Development-Case
Author: / nللSarah Jane Delany, Santiago Onta
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
Classification :
E-BOOK
175. Based Reasoning Research and Development-Case
Author: / llermeier, Mirjam MinorیEyke H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
Classification :
E-BOOK
176. Based Reasoning in Science and Technology-Model
Author: / Lorenzo Magnani, Walter Carnielli, Claudio Pizzi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
177. Based Representation and Reasoning-Graph
Author: / schke, Madalina CroitoruعNathalie Hernandez, Robert J
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
178. Based Representation and Reasoning :-Graph
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Conceptual structures (Information theory) ; Congresses. ;
179. Basic logic : the fundamental principles of formal deductive reasoning
Author: McCall, Raymond Joseph, 3191-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic
Classification :
BC
108
.
M22B2
1952
