Skip to content

Higher-order Logic Learning and lambda-Progol.

Niels Pahlavi

VenueBICLP
Year2010
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.