Robert Kowalski
by earl, 6943 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
1 active user
- unknown (1)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
