All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 03:33, 24 December 2023 SatoshiNakamoto talk contribs created page Gustavo A. Ospina (Created page with "Title: Gustavo A. Ospina Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology? Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors...")