scientific article; zbMATH DE number 1349998
From MaRDI portal
Publication:4265390
zbMath0925.03061MaRDI QIDQ4265390
Publication date: 12 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Many-valued logic (03B50)
This page was built for publication:
