DMCA

Declarative Programming of Search Problems with Built-in Arithmetic

by Eugenia Ternovska , David G. Mitchell
Citations:7 - 6 self