To drive or not to drive: A logical and computational analysis of European transport regulations
| Autor: | de Almeida Borges, Ana, Conejero Rodríguez, Juan José, Fernández-Duque, David, González Bedmar, Mireia, Joosten, Joost J. |
|---|---|
| Zdroj: | In Information and Computation October 2021 280 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect