scientific article
From MaRDI portal
Publication:2766924
zbMath0983.68773MaRDI QIDQ2766924
Shuhei Kawasaki, Setsuo Ohsuga
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: