scientific article; zbMATH DE number 2044515

zbMath1042.68027MaRDI QIDQ4448379

Matteo Baldoni, Viviana Patti, Alberto Martelli, Laura Giordano

Publication date: 18 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020405.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Uses Software

• GOLOG

This page was built for publication: