Resultados de procura - interaction declarative programming programmed constructs https

Search alternatives:
interaction declarative » integration declarative , interactions comparative , interaction creative
declarative programming » recursive programming
programming programmed » processing programmed
programmed constructs » programming constructs , programme contract , programmed instructions
constructs https » construction https , constructs loops , constructs arti

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /

Publicado 2005

Table of Contents: “...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...”
Ligazón do recurso

Electrónico eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Publicado 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Ligazón do recurso

Electrónico eBook

Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings /

Publicado 2010

Table of Contents: “... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”
Ligazón do recurso

Electrónico eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicado 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Ligazón do recurso

Electrónico eBook

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Publicado 2005

Table of Contents: “... -- The Association Construct in Conceptual Modelling – An Analysis Using the Bunge Ontological Model -- Computing...”
Ligazón do recurso

Electrónico eBook

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

por Hausser, Roland R., Hausser, Roland R.
Publicado 2006

Table of Contents: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Ligazón do recurso

Electrónico eBook

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006, Proceedings /

Publicado 2006

Table of Contents: “... -- Workshop on Dynamic Process Management (DPM 2006) -- Preface -- A Declarative Approach for Flexible...”
Ligazón do recurso

Electrónico eBook

Research and Advanced Technology for Digital Libraries 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings /

Publicado 2005

Table of Contents: “... Photograph Collections -- Metadata -- Strategies for Reprocessing Aggregated Metadata -- A Hybrid Declarative...”
Ligazón do recurso

Electrónico eBook

Knowledge Science, Engineering and Management 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010, Proceedings /

Publicado 2010

Table of Contents: “... on Evolutionary Computation -- Probabilistic Declarative Process Mining -- Making Ontology-Based Knowledge...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados