Вы здесь

Главная

логический

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

Logical Foundations of Computer Science - Tver 92: Proc./Second International Symposium. Tver, Russia, July 1992
Logical foundations of knowledge representation
Logical Loops
Logical Objects
Logical Objects with Constraints
Logical Reorganization of DAI Systems
Logical Semantics for the First Order c-Calculus
Logical Specification of Operational Semantics
Logical Specifications for Functional Programs
Logical Transactions and Serializability
Logical Update Queries as Open Nested Transactions
Logical vs. Physical File System Backup
Logic and Logic Programming
Logic and Programming Languages
Logic-Based Program Synthesis and Transformation: Proc./8th Intern. Workshop, LOPSTR 98. Manchester, UK, June 1998
Logic Based Program Synthesis and Transformation: Revised Selected Papers/15th International Symposium, LOPSTR 2005. London, UK, September 2005
Logic Design Assistance Using Temporal Logic Based Language Tokio
Logic for Representing and Implementing Knowledge about System Behaviour
Logic Foundations of Computer Science: Proc./International Symposium, LFCS 2016, Deerfield Beach,FL,USA, January 2016
Logic Frameworks for Logic Programs
Logician s Workbench
Logic Implemented Functionally
LOGIC - LAB Reference: Release 2.1 - September 1985
Logic Meta-Programming facilities in LOG
Logic Programming 89: Proc. 8th Conference, Tokyo, Japan, July 1989
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results
Logic Programming and Automated Reasoning: Proc./4th Intern.Conf, LPAR`93. St.Peterburg, Russia, July 1993
Logic Programming and Automated Reasoning: Proc./5th Intern. Conf., LPAR 94. Kiev, Ukraine, July 1994
Logic Programming and Automated Reasoning:Proc./Intern. Conf. LPAR 92. St.Petersburg, Russia, July 1992
Logic Programming and Logic Grammars with First-order Continuations
Logic Programming and PROLOG
Logic Programming as the Integrator of the Fifth Generation Computer Systems Projects
Logic Programming for Non-Monotonic Reasoning
Logic Programming for Software Testing
Logic Programming, Functional Programming, and Inductive Definitions
Logic Programming in Action: Proc./Second Intern. Logic Programming Summer School, LPSS 92. Zurich, Switzerland, September 7-11, 1992
Logic Programming in Artificial Intelligence Education
Logic Programming: Proc./1990 North American Conf.
Logic Programming: Proc./1993 Intern. Symp.
Logic Programming: Proc./Eighth Intern. Conf.
Logic Programming: Proc./ Intern. Symp. Portland, Oregon, December 4-7, 1995
Logic Programming Semantics Made Easy
Logic Programming with Functions over Order-Sorted Feature Terms
Logic Programming with Multiple Context Management Schemes
Logic Programming with Recurrence Domains
Logic Programming with Sequent Systems
Logic Programming with Strong Negation
Logic Programs as Compact Denotations
Logic Programs as Term Rewriting Systems
Logic Program Schemas, Constraints, and Semi-unification