Edinburgh Research Explorer

Visual Logic Programming Through Set Inclusion and Chaining

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Original languageEnglish
Title of host publicationProceedings of the CADE-13 Visual Reasoning Workshop
Publication statusPublished - 1996

ID: 3504074