Normal view MARC view

Hoek, W. van der (Wiebe van der) (Personal Name)

Preferred form: Hoek, W. van der (Wiebe van der)

Machine generated authority record.

Work cat.: (MY-SjTCS): Meyer, John-Jules Ch. 11567, Epistemic logic for AI and computer science /, 1995