Publication:4499270
From MaRDI portal
zbMath0966.68041MaRDI QIDQ4499270
Erwan Jahier, Mireille Ducassé, O. Ridoux
Publication date: 5 March 2001
68N17: Logic programming
Cites Work
zbMath0966.68041MaRDI QIDQ4499270
Erwan Jahier, Mireille Ducassé, O. Ridoux
Publication date: 5 March 2001
68N17: Logic programming
Cites Work