start | find | index | login or register | edit | ||
Robert Kowalski
by earl, 7170 days ago
Based on Alan Robinson's resolution mechanism, Kowalski together with [create Dieter Kühner] developed SL-Resolution in 1971 while at the University of Edinburgh. SL-Resolution was an important ingredient in the invention of Prolog.- http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html |
search backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8674 days • c'est un vanilla site |