Knowledge Representation and Classical Logic (2007)

by Vladimir Lifschitz , Leora Morgenstern , David Plaisted
Citations:11 - 4 self