scientific article
From MaRDI portal
Publication:3809251
zbMath0659.68050MaRDI QIDQ3809251
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication:
