Вы здесь

Главная

логика

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

Discrete Algorithmic Mathematics
Disjunctive Logic Programming as Constrained Inferences
Distributed Artificial Intelligence: Architecture and Modeling: Proc./First Australian Workshop on DAI. Canberra, ACT, Australia, November 1995
Distributed Control Flow with Classical Modal Logic
DLp: A Description Logic for Extracting and Managing Complex Terminological and Structural Properties from Database Schemes
Domain Modeling and The Duration Calculus: Advanced Lectures/International Training School. Shanghai, China, September 2007
Duration Calculi: An Overview
DYANA - The System for Distributed Programs and Computer Systems Behavior Analysis
Dynamically-Typed Computations for Order-Sorted Equational Presentations
Dynamic Logic
ECOLOG: an Environment for COnstraint LOGics
ECOOP 2010 - Object-Oriented Programming: Proc./24th European Conference, Maribor, Slovenia, June 2010
Effective Flow Analysis for Avoiding Run-Time Checks
Efficiency Executable Temporal Logic Programs
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Efficient Global Computations on a Processor Network with Programmable Logic
Efficient Strategies for Automated Reasoning in Modal Logics
EITeL- ein intervallbasierter temporallogischer Ansatz
Elementary Net Systems and Dynamic Logic
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification
Eliminating the Substitution Axiom from UNITY Logic
ElipSys A Parallel Programming System based on Logic
Encoding Dependent Types in an Intuitionistic Logic
Encoding Object-Z in Isabelle/HOL
Engineering Trustworthy Software Systems: Tutorial Lectures/4th International School, SETSS 2018, Chongqing, China, April 2018
Enumerating Proofs of Positive Formulae
Epistemic Logic for Computer Science: A Tutorial (Part One)
Epistemic Logic, Probability Theory and Multiagent Nonmonotonic Reasoning
Equality and Constrained Resolution
Equational Axioms of Test Algebra
Equational Inference, Canonical Proofs, and Proof Orderings
Equational Logic as a Tool
Equational Logic Programming, Actions, and Change
Equational Logics
Equational Reasoning and the Completion Procedure A Comparative Study in Program Transformation
Equational Reasoning with 2-dimensional Diagrams
Equivalence for Fair Kripke Structures
Equivalence of the Concave Optimisation Method and d"Agostino s Tableaux for Propositional Logic
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems
Equivalences and Preorders of Transition Systems
ESTL: A Temporal Logic for Events and States
Eta-Expansions in F
EUODHILOS: A General Reasoning System for a Variety of Logics
Executable Modal and Temporal Logics: Proc./IJCAI 93 Workshop. Chambery, France, August 1993
Executable Specifications of P Systems
Executing Higher Order Logic
Existential Graphs and Dynamic Predicate Logic
Explicit Provability and Constructive Semantics
Exploiting Modal Logic to Express Performance Measures
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond