Skip to content

Prolog Extensions Based on Tableau Calculus.

Wolfgang Schnfeld

VenueA*IJCAI
Year1985
ProceedingsIJCAI

Browse the full IJCAI paper archive.