Please use this identifier to cite or link to this item:
Title: A relevance restriction strategy for automated deduction
Authors: Plaisted, David A.
Yahya, Adnan
Issue Date: Mar-2003
Publisher: ResearchGate
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat 
A_relevance_restriction_strategy_for_automated_ded.pdf370.41 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.