OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: completitud Document Type: Tesis Repository: 37

Sort by Score Title Year -

1-2 from 2 results (0.026 seconds)

Title: Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
Author: Carbonari, Francisco Eduardo Daniel
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Multiagent systems / completitud / semánticas tipo Kripke / Semantics / Modal logic / combinación de lógicas

Acceder
Title: Completitud e implementación de modalidades en MAS
Author: Ambrossio, Agustín / Mendoza, Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Model checking / lógica modal / completitud / Multiagent systems

Acceder

« Previous 1 Next »