Automatic inconsistency detection in a logistic world model (european project STAMINA)
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://repositorio-aberto.up.pt/handle/10216/79580 |