Fingerprint
Entra nei temi di ricerca di 'Verification of action theories in ASP: A complete bounded model checking approach'. Insieme formano una fingerprint unica.- Ordina per
- Peso
- Alfabetico
Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
Risultato della ricerca: Contributo su rivista › Articolo da conferenza › peer review