Title: Implementation of Constructive Negation in Extensional Higher-Order Logic Programming
Supervisors: Panos Rondogiannis, Angelos Charalambidis
Pergamos link: https://pergamos.lib.uoa.gr/uoa/dl/frontend/en/browse/1692144
errikos/bsc-thesis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|