scientific article
From MaRDI portal
Publication:3013356
zbMath1221.00052MaRDI QIDQ3013356
Masayuki Shio, Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda
Publication date: 18 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Control/observation systems involving computers (process control, etc.) (93C83) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Other applications of logic (03B80) Mathematics and music (00A65)
This page was built for publication: