979 resultados para pensamiento operatorio formal

A Formal Specification of dMARS

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Engineering AgentSpeak(L): A Formal Computational Model

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A Formal Architecture for the 3APL Agent Programming Language

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Formal Agent Development: Framework to System

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Towards a Formal Theory of Defeasible Deontic Conditionals

Relevância:

20.00% 20.00%

Publicador:

Veja mais

On the characterisation of a trusting agent - aspects of a formal approach

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Formal Specification using Interaction Diagrams

Relevância:

20.00% 20.00%

Publicador:

Veja mais

UML to B: formal verification of object-oriented models

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A Formal Relationship Between Program Slicing and Partial Evaluation

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Special Issue on Formal Approaches to Software Testing

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Formal Verification of Communication Protocol using Type Theory

Relevância:

20.00% 20.00%

Publicador:

Veja mais

FORTEST: Formal Methods and Testing (joint panel paper)

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Formal Methods and Agent-Based Systems

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Formal Specification and Verification of Railway Systems using UML

Relevância:

20.00% 20.00%

Publicador:

Veja mais