Diana Costa

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2023
4DL: a four-valued dynamic logic and its proof theory.
J. Log. Comput., August, 2023

2021
A Tool for Air Cargo Planning and Distribution.
Proceedings of the Innovations in Bio-Inspired Computing and Applications, 2021

2020
Anticipating Maintenance in Telecom Installation Processes.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2020, 2020


  Loading...