scientific article
From MaRDI portal
Publication:4022808
zbMath0792.03005MaRDI QIDQ4022808
Publication date: 17 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Mechanization of proofs and logical operations (03B35)
This page was built for publication: