Offline
day
week
ΛProlog: Logic programming in higher-order logic
3 points
|
www.lix.polytechnique.fr
|
ux266478
|
3day