Publication:4813513
From MaRDI portal
zbMath1043.68923MaRDI QIDQ4813513
Habin Lee, John C. Shepherdson
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2691/26910636.htm
68U99: Computing methodologies and applications
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)