*Result*: An Intuitionistic Approach to Logic Programming
*Title*:
An Intuitionistic Approach to Logic Programming / Rodrigo Readi-Nasser
*Author/editor-in-chief*:
*Publication*:
Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*series_multipart*:
Interner Bericht des Fachbereich Informatik ; 296