Normal view
MARC view
Gabbay, Dov M., 1945- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany) 34087, Practical reasoning :, ©1996.