Treffer: An Intuitionistic Approach to Logic Programming
Titel:
An Intuitionistic Approach to Logic Programming / Rodrigo Readi-Nasser
Verantwortlich:
Veröffentlicht:
Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
Umfang:
Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Interner Bericht des Fachbereich Informatik ; 296