Results 321 to 330 of about 1,862,843 (333)
Some of the next articles are maybe not open access.

Loop Checking for Reduced SLD-Derivations

1994
FERRUCCI, Filomena   +2 more
openaire   +1 more source

A Sleeper-based Prolog Interpreter with Loop Checks

1994
FERRUCCI, Filomena   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy