Вы здесь

Главная

логика

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

0*=
25 Years of Model Checking: History, Achievements, Perspectives
3-wertige Logiken und stabile Logik
A Basis for a Multilevel Metalogic Programming Language
A bridge between constructive logic and computer programming
A Broader Interpertation of Logic in Logic Programming
Abstract Algebraic Logic
Abstract Compilation for Sharing Analysis
Abstract Interpretation of Linear Logic Programming
Abstract Properties for the Choice Provability Relation in Nonmonotonic Logics
Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010
Abstract Types and the Dot Notation
A Calculus and Complexity Bound for Minimal Conditional Logic
A Calculus for Access Control in Distributed Systems
A Calculus for Higher Order Procedures with Global Variables
A Calculus of Circular Proofs and Its Categorical Semantics
A Categorical Interpretation of Partial Function Logic and Hoare Logic
A Categorical Model for Logic Programs: Indexed Monoidal Categories
A Clausal Logic for Deontic Action Specification
A Compiler Generator for Constraint Logic Programs
A Compositional Proof System for Asynchronously Communicating Processes
A Computational Logic Handbook
A Conditional Logic for Updating in the Possible Models Approach
A Connection Based Proof Method for Intuitionistic Logic
A Constant-Space Sequential Model of Computation for First-Order Logic
A Control-Theoretic Approach to Flow Control
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
Action Refinement from a Logical Point of View
Actions and Events in Interval Temporal Logic
Actions and Specificity
Actor-Oriented System Specification with Dynamic Logic
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
Adding Priorities and Specificity to Default Logic
Adding Uniqueness Constraint to Description Logics
A Decidable Logic for Describing Linked Data Structures
A Decision Algorithm for Full Propositional Temporal Logic
A Decision Procedure for a Temporal Belief Logic
A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and Its Implementation
A Dense-Time Temporal Logic with Nice Compositionality Properties
A Description Logic-Based Configurator on the Web
A Domain-Specific Language for Regular Sets of Strings and Trees
Advances in Artificial Intelligence: Proc./16th Brazilian Symp. on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 2002
Advances in Artificial Intelligence - SBIA 2004: Proc./17th Brazilian Symposium on Artificial Intelligence. Sao Luis,Maranhao,Brazil,September/October 2004
Advances in Artificial Intelligence - SBIA 2010: Proc./20th Brazilian Symposium on AI, Sao Bernardo do Compo, Brazil, October 2010
Advances in Computing Science - ASIAN 2000: Proc./6th Asian Computing Science Conference Penang,Malaysia,November 2000
Advances in Natural Computation, Part III: Proc./First International Conference, ICNC 2005. Changsha, China, August 2005
A Family of Temporal Terminological Logics
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs
A Formalization of Abstraction in LAMBDA
A Formal Model for an Expressive Fragment of XSLT