Visual Logic Programming Through Set Inclusion and Chaining

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the CADE-13 Visual Reasoning Workshop
Publication status	Published - 1996

ID: 3504074