|
СТ |
A Higher Order Reconstruction of Stepwise Enhancement |
1998 |
Naish L., Sterling L. |
|
|
|
Lecture Notes in Computer Science |
14.10.1998 |
|
СТ |
Parallelizing NU-Prolog |
1988 |
Naish L. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
17.10.1994 |
|
СТ |
Most Specific Logic Programs |
1988 |
Marriott K., Naish L., Lassez J. -L. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
NUA-Prolog: An Extension to the WAM for Parallel Andorra |
1991 |
Palmer D., Naish L. |
|
|
|
Logic Programming: Proc./Eighth Intern. Conf. |
19.09.1994 |
