Skip to content

An Architecture for Knowledge Based Deduction.

Arthur J. Nevins

VenueA*IJCAI
Year1985
ProceedingsIJCAI

Browse the full IJCAI paper archive.