Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.11889/2090
Title: A relevance restriction strategy for automated deduction
Authors: Plaisted, David A.
Yahya, Adnan
Issue Date: Mar-2003
Publisher: ResearchGate
URI: http://hdl.handle.net/20.500.11889/2090
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.