Home » Publication » 23010

Dettaglio pubblicazione

2019, IJCAI, Pages 329-335 (volume: 2019-)

On computational tractability for rational verification (04c Atto di convegno in rivista)

Gutierrez J., Najib M., Perelli G., Wooldridge M.

ISBN: 978-0-9992411-4-1
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma