Idioma:

Specifying preferences over policies using branching time temporal logic

Warlles Carlos Costa Machado Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Brazilian Conference on Intelligent Systems - (BRACIS) (12. 2023 Belo Horizonte, MG)

Proceedings Cham : Springer, 2023

Localização: IME - Inst. Matemática e Estatística (PROD-3158835 )(Acessar)

IME - Inst. Matemática e Estatística (PROD-3158835 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
IME-Inst. Mat. e Estatística	PROD-3158835		Item disponível	3158835-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-3158835 Status: Item disponível Código de Barras: 3158835-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula

Voltar para lista de resultados

Anterior Resultado 4 Avançar Ir para próxima página