scientific article; zbMATH DE number 2085266

zbMath1053.68523MaRDI QIDQ4736500

Luís Fernando Castro, Vitor Costa

Publication date: 9 August 2004

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• YAP-Prolog
• XSB