Skip to content

A Computational Structure for the Propositional Calculus.

M. J. Shensa

VenueA*IJCAI
Year1989
ProceedingsIJCAI

Browse the full IJCAI paper archive.