DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(A AND Paraconsistent AND Higher AND Order AND Logic)
Suggestions: Include records that partially match the query
A Paraconsistent Higher Order Logic
Year: 2003
Language: Undetermined
A Paraconsistent Higher Order Logic
International Workshop on Paraconsistent Computational Logic — 2004, pp. 33-49
Year: 2004
Language: English
A Paraconsistent Higher Order Logic 10.1007/978-3-540-30210-0_5
Year: 2004
Language: Undetermined
Paraconsistent Higher-Order Logic for Knowledge-Based Systems
Year: 2008
Language: Undetermined