Normal view
MARC view
Hogger, Christopher John (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming /, 1998.