Subject: Extensional higher-order logic programming, -- Negation in logic programming / Journal: Theory and practice of logic programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Extensional higher-order logic programming, -- Negation in logic programming Journal Theory and practice of logic programming

Authors:: RONDOGIANNIS, PANOS; SYMEONIDOU, IOANNA
Editors:: Rocha, Ricardo; Cao Son, Tran
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 5/6(2017)
Page Start:: 974
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

Search