scientific article; zbMATH DE number 7368413
From MaRDI portal
Publication:4999260
DOI10.3233/FAIA200147zbMath1464.68344MaRDI QIDQ4999260
Stéphane P. Demri, Francesco Belardinelli
Publication date: 6 July 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
