ML Anthology

Buvac, Sasa

2 publications

AAAI 1996 Quantificational Logic of Context Sasa Buvac
AAAI 1993 Propositional Logic of Context Sasa Buvac, Ian A. Mason