scientific article; zbMATH DE number 1404216
From MaRDI portal
Publication:4937831
zbMath0941.68628MaRDI QIDQ4937831
Norio Shiratori, Atsushi Togashi, Shigetomo Kimura
Publication date: 20 February 2000
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: