dc.contributor.author | Próspero, Manuel João | en_US |
dc.contributor.author | Pereira, Paulo Jorge | en_US |
dc.contributor.editor | Madalena Quirino | en_US |
dc.date.accessioned | 2023-03-09T10:00:41Z | |
dc.date.available | 2023-03-09T10:00:41Z | |
dc.date.issued | 2023 | |
dc.identifier.isbn | 978-3-03868-204-2 | |
dc.identifier.uri | https://doi.org/10.2312/pt.19881536 | |
dc.identifier.uri | https://diglib.eg.org:443/handle/10.2312/pt19881536 | |
dc.description.abstract | A hierarchical graphical modelling system and a dialogue centrei mechanism were designed and implemented in first order predicate logic. Some main concepts are introduced in this papar by analysing a given application: a flat drawing design where the user is able to graphically specify the intended configuration and get important information about the existing restrictions. | en_US |
dc.publisher | The Eurographics Association | en_US |
dc.rights | Attribution 4.0 International License | |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
dc.title | On programming an interactive graphical application in logic | en_US |
dc.description.seriesinformation | LGCG 1988 - 1st Luso German Meeting on Computer Graphics | |
dc.description.sectionheaders | Articles | |
dc.identifier.doi | 10.2312/pt.19881536 | |