4,901 results on '"Predicate logic"'
Search Results
152. Formal Theories of Predication
153. Finite-State Descriptions For Temporal Semantics
154. The Logic of Intelligence
155. Foundations of Rule-Based Query Answering
156. Towards Intuitive Spatiotemporal Communication Between Human and Ubiquitous Intelligence Based on Mental Image Directed Semantic Theory — A General Theory of Tempo-logical Connectives —
157. Formal Analysis of Secure Bootstrap in Trusted Computing
158. Tree-Sequent Methods for Subintuitionistic Predicate Logics
159. Syntactic Validation of Web Services Security Policies
160. Choice Principles in Intuitionistic Set Theory
161. Semantics and Predicate Logic
162. Mathematical Logic
163. An Introduction to Fuzzy Quantification: Origins and Basic Concepts
164. Capture-Avoiding Substitution as a Nominal Algebra
165. Sequential, Parallel, and Quantified Updates of First-Order Structures
166. Compositional Semantics for the Procedural Interpretation of Logic
167. Ontological Constitutions for Classes and Properties
168. A Dynamic Semantics of Modal Subordination
169. Verifying Norm Compliancy of Protocols
170. Theorema
171. Consistency Checking Algorithms for Restricted UML Class Diagrams
172. Predicate Logic
173. Formal Predicate Logic
174. Predicate Logic
175. Higher-Order Inference
176. Knowledge Discovery as Translation
177. Reason-Based Logic
178. Foundations of Computer Science and Mathematics
179. Normal Natural Deduction Proofs (in Non-classical Logics)
180. A Linear-Logic Semantics for Constraint Handling Rules
181. Arithmetic as a Theory Modulo
182. BI Hyperdoctrines and Higher-Order Separation Logic
183. Verification in Predicate Logic with Time: Algorithmic Questions
184. Techniques in Knowledge-Based Expert Systems for the Design of Engineering Systems
185. Classical Logic and the Law
186. Introduction
187. Charge prediction modeling with interpretation enhancement driven by double-layer criminal system
188. First-order logic as a constraint satisfaction problem
189. Temporal Computing With Superconductors
190. Method for automatic control of assigning details to completed electronic document
191. THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
192. A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
193. Interfacing Syntax and Semantics
194. The Creative Growth of Mathematics
195. Logical Pluralism and the Preservation of Warrant
196. Predicate Logic
197. Interval Logic
198. Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy
199. Predicate Logic with Sequence Variables and Sequence Function Symbols
200. How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.