doctor honoris causa

Article View: comp.lang.prolog

Article #3798

#3798

From: Maurice Bruynooghe
Date: Tue, 22 Nov 1988 16:22

5 lines
659 bytes

On wednesday november 30 1988, Prof Alan Robinson will receive a honorary
degree at the Katholieke Universiteit Leuven (Belgium) in recognition of
his pioneering work in automated theorem proving (the resolution principle)
and the important role he played (and still plays)in the development of 
Logic Programming.

Technical Details

Message-ID: <112@kim.kulcs.uucp>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!prlb2!kulcs!maurice

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcvax!prlb2!kulcs!maurice
From: maurice@kulcs.uucp (Maurice Bruynooghe)
Newsgroups: comp.lang.prolog
Subject: doctor honoris causa
Message-ID: <112@kim.kulcs.uucp>
Date: 22 Nov 88 16:22:00 GMT
Reply-To: maurice@kulcs.UUCP ()
Organization: Katholieke Universiteit Leuven, Dept. Computer Science
Lines: 5