scientific article; zbMATH DE number 7368338
From MaRDI portal
Publication:4999204
DOI10.3233/FAIA200072zbMath1464.68192MaRDI QIDQ4999204
Francesco Belardinelli, Vadim Malvone
Publication date: 6 July 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
This page was built for publication: