Вы здесь

Главная

логика

Связанные издания:

A Logic-based Framework for Reasoning Support in Software Evolution
A Logic-Based Model of the Evolutionary Development of Knowledge
A Logic-Based Transformation System
A Logic for Abstract Data Types as Existential Types
A Logic for Encapsulation in Object Oriented Languages
A Logic for Memory
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
A Logic for Reasoning about Safety in Decision Support Systems
A Logic for Reasoning About Security
A Logic for Rule-Based Query Optimization in Graph-Based Data Models
A Logic for the Java Modeling Language JML
A Logic for Variable Aliasing in Logic Programs
A Logic of Capabilities
A Logic of Object-Oriented Programs
Alternating-Time Temporal Logic
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic
Amalgamating Knowledge Bases
Amalgamation and Extension in the Framework of Specification Logic and Generalized Morphisms
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models
Ambivalent Logic as the Semantic Basis of Metalogic Programming: I
A Mechanisation of Name-carrying Syntax up to Alpha-conversion
A Metalanguage for Interactive Proof in LCF
A Method to Implement Qualitative Knowledge in Multi-Layered Neural Network
A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)
A Modal Logic for KLAIM
A modal logic for message passing processes
A Modal Logic for Message Passing Processes
A Model Elimination Calculus with Built-in Theories
A Model for a Causal Logic for Requirements Engineering
A Model of Information Retrieval based on a Terminological Logic
A Model of Intuitionistic Affine Logic from Stable Domain Theory
A Model Parametric Real-Time Logic
A Modulation Package Tuning Machine Applying Fuzzy Logic
A More General Model For Handling Missing Information In Relational DataBases Using A 3-Valued Logic
A Multi-level Abstraction and Modeling in Video Databases
A Multimodal Logic to Define Modules in Logic Programming
A Multiple-Valued Logical Semantics for Prolog
An Abstract Account of Composition
An Adequate First Order Interval Logic
An Algebraic Approach to Temporal Logic
An Algebraic Framework for Separate Type-Checking
An Algebraic Theory of Graph Reduction
An Algorithm for Constructing Extensions of Propositional Autoepistemic Logic
An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time
Analysis of Active Database Rules Behaviour Using Rewriting Logic
Analysis of a Software/Hardware System by Tense Arithmetic
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic
Analytic Tebleaux for Finite and Infinite Post Logics
Analyzing Timing Requirements
An Analysis of Simulation between Petri Nets through Rewriting Logic