Вы здесь

Главная

программирование

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

"Alfonse, Your Java Is Ready!"
Algebraic and Logic Programming
Algebraic and Logic Programming: Proc./4th Intern. Conf., ALP 94. Madrid, Spain, September 1994
Algebraic and Logic Programming: Proc./5th International Conference, ALP 96. Aachen,Germany,September 1996
Algebraic Properties of a Class of Logic Programs
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
Algorithmic Aspects of Cloud Computing: Revised Selected Papers/2nd International Worklshop, ALGOCLOUD 2016, Aarhus. Denmark, August 2016
Algorithmique parallele en langage fonctionnel: Application a MaRS-Lisp
A Linda-Based Runtime System for a Distributed Logic Language
A LISP programming exercise
A Logical Approach for Distributed Truth Maintenance
A Logical Denotational Semantics for Constraint Logic Programming
A Logical Semantics for Depth-First Prolog with Ground Negation
A Logic Programming Environment for Teaching Mathematical Concepts of Computer Science
A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues
A lokal micro network to support software modularity
A Marriage of Class- and Object-Based Inheritance without Unwanted Children
A Method for Implementing Equational Theories as Logic Programs
AMLOG-E: A New Approach towards Amalgamation
A Model for Implementing an Object-Oriented Design without Language Extensions
A Model of Ada Programs for Static Deadlock Detection in Polynominal Time
A Multicomputer Garbage Collector for a Single-Assignment Language
A Multimodal Logic to Define Modules in Logic Programming
A Multiprocessor Implementation of Joyce
An Abstract Interpretation Algorithm for Residuating Logic Programs
An Abstract Interpretation Scheme for Groundness, Freeness, and Sharing Analysis of Logic Programs
An Algebraic Approach to Knowledge-Based Modeling
An Algebraic Foundation for Adaptive Programming
Analyses of Inconsistency for Incremental Equational Logic Programming
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
Analysis of Or-Parallel Execution Models
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
An And-Parallelism Cooperative Scheme for Full Prolog Interpreters on a Transputer-Based Architecture
An Angry Half-Dozen
An Annotated Bibliography on Integration in Software Engineering Environments
An Architecture for Cooperating Constraint Solvers on Reals
An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming
An Automatic Class Generation Mechanism by Using Method Integration
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness
An Efficient Abductive Reasoning System Based on Program Analysis
An Efficient Algorithm of Logic Programming with Constraint Hierarchy
An Efficient and Portable Sequential Implementation of Janus
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
An Environment for an Animated Simulation by Fast Graph Transformation
An Epistemic Foundation for Logic Programming with Uncertainty
A Neural Network Model for Quadratic Programming with Simple Upper and Lower Bounds and Its Application to Linear Programming
A New Calculus for Semantic Matching
A New Method of Computation for Large Applications of Massively Parallel Computer Architectures
An Exception Handing Mechanism for Parallel Object-Oriented Programming.Towards the Design of Reusable and Robust Distributed Software
An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser