Вы здесь

Главная

декларативный

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

Abstract Debugging of Logic Programs
A Constraint Logic Programming Scheme for Taxonomic Reasoning
A Debugging Scheme for Declarative Equation Based Modeling Languages
A Declarative Alternative to "assert" in Logic Programming
A Declarative Approach to Connection Machine 2 Programming
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
A New Declarative Semantics for Logic Languages
An Experience in Proving Regular Networks of Processes by Modular Model Checking
Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/17th Intl Conference, INAP 2007 & 21st Workshop on Logic Programming, WLP 2007. Wuerzburg, Germany, October 2007
Applications of Declarative Programming and Knowledge Management: Selected Papers/15th International Conference INAP 2004, and 18th Workshop WLP 2004.Potsdam,Germany,March 2004
A Return to Elegance: The Reapplication of Declarative Notation to Software Design
Declarative Agent Languages and Technologies II: Revised Selected Papers/Second International Workshop, DALT 2004. New York, NY, USA, July 2004
Declarative Agent Languages and Technologies IX: Revised Selected and Invited Papers/9th International Workshop, DALT 2011, Taipei, Taiwan, May 2011
Declarative Agent Systems and Technologies III: Selected and Revised Papers/Third International Workshop, DALT 2005. Utrecht, The Netherlands, July 2005
Declarative Programming and Clinical Medicine (On the Use of Gisela in the MedView Project)
Declarative Programming for Knowledge Management: Revised Selected Papers/ 16th International Conference INAP 2005 Fukuoka,Japan,October 2005
Declarative Programming in Prolog
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
Distributed-Memory Programs Developmentin Declarative and Procedural Enviroment
Embedding Daclarative Subprograms into Imperative Constructs
Engineering Multi-Agent Systems: Revised, Selected, and Invited Papers/3rd International Workshop, EMAS 2015, Istanbul, Turkey, May 2015
Engineering Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, EMAS 2016, Singapore, Singapore, May 2016
Event-Driven FRP
FOLON: An Environment for Declarative Construction of Logic Programs
Fully Declarative Logic Programming
Fundamentals of Software Engineering: Revised Selected Papers/4th IPM International Conference, FSEN 2011, Tehran, Iran, April 2011
FVision: A Declarative Language for Visual Tracking
High-Level Server Side Web Scripting in Curry
HIPPO - A Declarative Graphical Modeling System
Implementing a Declarative String Query Language with String Restructuring
Introducing the Declarative Dungeon
Lattice Semantics for Incremental Data Extraction from Declarative Knowledge Bases
Load Balancing a Functional Multiprocessor
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013
Metaprograms for Change, Assumptions, Objects, and Inheritance
New Semantic Tools for Logic Programming
Orthogonal to the Java Imperative
Practical Aspects of Declarative Languages: Proc./10th International Symposium, PADL 2008. San Francisco, CA, USA, January 2008
Practical Aspects of Declarative Languages: Proc./9th International Symposium, PADL 2007. Nice, France, January 2007
Practical Aspects of Declarative Languages: Proc./First Intern. Workshop, PADL 99. San Antonio, Texas, USA, January 1999
Practical Aspects of Declarative Languages: Proc./Second Intern. Workshop, PADL 2000. Boston, MA, USA, January 2000
Practical Aspects of Declarative Languages: Proc./Third Intern. Symp., PADL 2001, Las Vegas, Nevada, March 2001
Principles of Declarative Programming: Proc./10th Intern. Symp., PLILP 98, Held Jointly with the Intern. Conf., ALP 98. Pisa, Italy, September 1998
The LOGIDATA+ Language and Semantics
The Shell DI*GEN: Efficient Implementation of Declarative Knowledge Representation
Un Langage D Analyse et de Synthese Ayant la Capacite D Apprendre
VI. Lustre
Исследование методов оптимизации вывода в системах декларативных продукций
Методы и программные средства создания интеллектуальных систем с декларативными базами знаний на основе модельных трансформаций
Оптимизация вычислений в системах декларативных продукций на основе анализа информационных графов