scientific article; zbMATH DE number 7409091
From MaRDI portal
Publication:5157010
zbMATH Open1474.68386MaRDI QIDQ5157010
Natasha Alechina, Mehdi Dastani, Brian Logan
Publication date: 12 October 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) Agent technology and artificial intelligence (68T42)
Related Items (2)
This page was built for publication: