Publication:5688920
From MaRDI portal
zbMath0862.68021MaRDI QIDQ5688920
Ross Paterson, Anthony S. K. Cheng
Publication date: 19 March 1997
68N17: Logic programming
Uses Software
zbMath0862.68021MaRDI QIDQ5688920
Ross Paterson, Anthony S. K. Cheng
Publication date: 19 March 1997
68N17: Logic programming
Uses Software