Visual Logic Programming Through Set Inclusion and Chaining

J. Agusti, J. Puigsegur, D. Robertson, W.M. Schorlemmer

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

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

Cite this