Deductive Synthesis of Programs for Query Answering

Sorry, there's nothing here.

Cite this paper

@inproceedings{Nardi1992DeductiveSO, title={Deductive Synthesis of Programs for Query Answering}, author={Daniele Nardi and Riccardo Rosati}, booktitle={LOPSTR}, year={1992} }