Knowledge Representation and Classical Logic (2007)

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