Publication:2723918
From MaRDI portal
zbMath0964.68012MaRDI QIDQ2723918
Andy King, Patricia M. Hill, Jan-Georg Smaus
Publication date: 8 July 2001
68N17: Logic programming
Uses Software
zbMath0964.68012MaRDI QIDQ2723918
Andy King, Patricia M. Hill, Jan-Georg Smaus
Publication date: 8 July 2001
68N17: Logic programming
Uses Software