Results 61 to 67 of about 936 (67)
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation
Ludovic Langevine+2 more
openalex +1 more source
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation