Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and
the 29th RCRA Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022

Anno

2022

Appare nelle tipologie:

7.1 Curatela

File in questo prodotto:

Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/341505

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo