scientific article; zbMATH DE number 1738693
From MaRDI portal
zbMath0984.68511MaRDI QIDQ4530041
Juan Carlos Nieves, Mauricio Osorio
Publication date: 7 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2056/20560225
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Logic programming (68N17)