Normal view
MARC view
Levesque H J(Personal Name)
Machine generated authority record
Work cat.: (OSt)1256921: Levesque H J, Logic of knowledge bases, 2000