Applications or Protected Circumscription

TitleApplications or Protected Circumscription
Publication TypeConference Papers
Year of Publication1984
AuthorsMinter J, Perlis D
Conference Name7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings
Date Published1984///