Publication:4797434
From MaRDI portal
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
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68N17: Logic programming
Related Items
Uses Software