scientific article
From MaRDI portal
Publication:4028368
zbMath0825.68452MaRDI QIDQ4028368
Glenn Colman, Peter Andreae, Lindsay Groves
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: