(PDF) A Tutorial on Synthesis of Logic Programs From

A Tutorial on Synthesis of Logic Programs From Specifications

doi 10.7551/mitpress/4316.003.0010

Full Text

Abstract

Available in full text

Date

January 1, 1994

Authors

Unknown

Publisher

The MIT Press