predicate logic - Globe Thesis

Keyword [predicate logic] Result: 1 - 20 \| Page: 1 of 2
1.	Study On Temporal Role Delegation Graph Model And Its Analysis
2.	Research On Architecture Meta-model And Model Transformation Methodology In Domain Software Development
3.	Logical Approach In The Security Analysis Of Cryptographic Protocols - A New Ban-like Logic
4.	The Go Death And Life Knowledge Discovery System Based On Logic Reasoning And Machine Learning
5.	Research And Implementation Of The First Order Predicate Logic Operator Automatic Refinement In Z Specification
6.	Study And Realization On Chemical Hazop Expert System Based On Petri Net Modeling
7.	Application Of Petri Nets In Predicate Logic Reasoning
8.	Research On Visualization Techniques Of Resolution Refutation
9.	The Research And Practice Of Knowledge Representation Based On The Conceptual Graphs
10.	SDG Fault Diagnosis Expert System And Its Realization Based On Visual Prolog
11.	Software Evolution Execution Engine Based On Logic
12.	Realization And Application Of The Expert System Based On Fuzzy Petri Net
13.	The Improved RBAC Model And Its Application In Electronic Medical Record System
14.	The Improved Rbac Model And Its Application In Electronic Medical Record System
15.	The Ucon Of Workflow Management System Access Control Research And To Achieve
16.	Reduction Algorithm Based On Predicate Logic And Contains The Set Of Classification Rules
17.	Research Andapplication On Dynamic Fuzzy Predicate Logic Relationslearning Algorithm
18.	Code Query Technology Based On First-Order Predicate Logic
19.	Non-revision Reasoning With Beliefs In Predicate Logic
20.	Research On Methodology Of Requirements Tracing Based Onpredicate Logic
<<First <Prev Next> Last>> Jump to