Skip to content

An Algorithm for Generating Arguments in Classical Predicate Logic.

Vasiliki Efstathiou, Anthony Hunter

Year2009
ProceedingsECSQARU

Browse the full ECSQARU paper archive.