Publication:4939291
From MaRDI portal
zbMath0944.68032MaRDI QIDQ4939291
Pierre Deransart, Christophe Aillaud
Publication date: 23 February 2000
68N17: Logic programming
zbMath0944.68032MaRDI QIDQ4939291
Pierre Deransart, Christophe Aillaud
Publication date: 23 February 2000
68N17: Logic programming