Logic program synthesis using schema instantiation in an interactive environment
University dissertation from Stockholm : Department of Computer & Systems Sciences, Stockholm University
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.