Вы здесь

Главная

логика

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

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
A Formal Theory of Undirected Graphs in Higher-Order Logic
A Framework for Defining Logics
A Functional Approach for Temporal x Modal Logics
A Fuzzy Logic Approach for Sensor Validation in Real Time Expert Systems
A Generalization of Dijkstra s Calculus to Typed Program Specifications
A Generalized Event Structure for the Muller Unfolding of a Safe Net
A Generic Algebra for Data Collections Based on Constructive Logic
A Graph-Based Approach to Resolution in Temporal Logic
A Graphical Interval Logic for Specifying Concurrent Systems
A Guide to LP, The Larch Prover
A Hierarchical Completeness Proof for Propositional Temporal Logic
A Hierarchy of Temporal Logics with Past
A Higher Order Rewriting Logic for Functional Logic Programming
A HOL Decision Procedure for Elementary Real Algebra
A HOL Formalisation of the Temporal Logic of Actions
AI 2003 - Advances in Artificial Intelligence: Proc./16th Australian Conf. on AI, Perth, Australia, December 2003
AI 2005: Advances in Artificial Intelligence: Proc./18th Australian Joint Conference on Artificial Intelligence. Sydney, Australia, December 2005
AI Education and Logic
A Kind of Achievement by Parts Method
A Knowledge Based Approach for Modeling and Querying Multidimensional Databases
A Kripke-Kleene Logic over General Logic Programs
ALC for CLA: Towards description logic on concept lattices
Algebra and Coalgebra in Computer Science: Proc./4th International Conference, CALCO 2011, Winchester, UK, August/September 2011
Algebra and Coalgebra in Computer Science: Proc./5th International Conference, CALCO 2013, Warsaw, Poland, September 2013
Algebra and Coalgebra in Computer Science: Proc./First International Conference, CALCO 2005. Swansea, UK, September 2005
Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007
Algebraic Acpects of the Relational Knowledge Representation: Modal Relation Algebras
Algebraic and Logic Programming: Proc./6th Intern. Joint Conf., ALP 97 - HOA 97. Southampton, UK, September 1997
Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday
Algebraic Methodology and Software Technology: Proc./11th International Conference, AMAST 2006. Kuressaare, Estonia, July 2006
Algebraic Methodology and Software Technology: Proc./12th International Conference, AMAST 2008. Urbana, IL, USA, July 2008
Algebraic Methodology and Software Technology: Proc./4th International Conference, AMAST 95 Montreal,Canada,July 1995
Algebraic Methodology and Software Technology: Proc./7th Intern. Conf., AMAST 98. Amazonia, Brazil, January 1999
Algebraic Methods II: Theory, Tools and Applications
Algebraic Structures of Truth Values in Fuzzy Logic
Algebraic System Specification and Development
Algorithmic Aspects in Information and Management: Proc./15th International Conference, AAIM 2021, Virtual Event, December 2021
Algorithmic aspects of propositional tense logics
Algorithmic Learning Theory: Proc./16th International Conference, ALT 2005. Singapore, October 2005
Algorithmic Learning Theory: Proc./6th International Workshop, ALT 95, Fukuoka, Japan, October 1995
Algorithmic Verification of Linesr Temporal Logic Specifications
Algorithms - ESA 2015: Proc./23rd Annual European Symposium, Patras, Greece, September 2015
A Lineal Temporal Logic with Continuous Semantics for Hybrid Systems
A "Linear Logic" Quicksort
A Linear Temporal Logic Approach to Objects with Transactions
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
A Logical View of Assignments
A Logic Approach for Schema Integration
A Logic-Based Foundation of Discrete Event Modeling and Simulation