scientific article; zbMATH DE number 1882058

zbMath1007.68593MaRDI QIDQ4797434

Yves Martin, Michael Thielscher

Publication date: 13 March 2003

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

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

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (1)

The qualification problem: A solution to the problem of anomalous models

Uses Software

• GOLOG

This page was built for publication: