Publication:4217937
From MaRDI portal
zbMath0910.68041MaRDI QIDQ4217937
Bern Martens, Danny De Schreye, Wim Vanhoof
Publication date: 11 November 1998
68N17: Logic programming
Uses Software
zbMath0910.68041MaRDI QIDQ4217937
Bern Martens, Danny De Schreye, Wim Vanhoof
Publication date: 11 November 1998
68N17: Logic programming
Uses Software