zbMath1026.68818MaRDI QIDQ4415101
Peter Schachte
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2562/25620128.htm
Mathematics Subject Classification ID
68U99: Computing methodologies and applications
68N17: Logic programming