.
FRDCSA | external codebases | dialogs2-20160508
Homepage

[Project image]
dialogs2-20160508

Jump to: Project Description

Project Description

DIALOGS - Dialog-based Inductive and Abductive LOGic program Synthesiser


This page is part of the FWeb package.
Last updated Sat Oct 26 16:57:02 EDT 2019 .