Subject: Paraconsistency, -- Word Puzzles, -- Annotated Predicate Calculus, -- Controlled Natural Language - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Paraconsistency, -- Word Puzzles, -- Annotated Predicate Calculus, -- Controlled Natural Language

Authors:: GAO, TIANTIAN; FODOR, PAUL; KIFER, MICHAEL
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 703
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

Search