Search

Your search keyword '"Predicate logic"' showing total 4,901 results

Search Constraints

Start Over You searched for: Descriptor "Predicate logic" Remove constraint Descriptor: "Predicate logic"
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

159. Syntactic Validation of Web Services Security Policies

160. Choice Principles in Intuitionistic Set Theory

161. Semantics and Predicate Logic

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

169. Verifying Norm Compliancy of Protocols

170. Theorema

171. Consistency Checking Algorithms for Restricted UML Class Diagrams

176. Knowledge Discovery as Translation

177. Reason-Based Logic

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

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

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

Catalog

Books, media, physical & digital resources