scientific article; zbMATH DE number 408815
From MaRDI portal
Publication:4202960
zbMath0819.68080MaRDI QIDQ4202960
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)
This page was built for publication: