scientific article; zbMATH DE number 2222694
From MaRDI portal
Publication:5701513
zbMath1090.68067MaRDI QIDQ5701513
Maurizio Proietti, Fabio Fioravanti, Alberto Pettorossi
Publication date: 3 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: