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