log(ID:1608/log001)
- Country: us
- Began: 1991
- Published: 1991
Logic Programming Language with Finite Sets1991
References:
Dovier, A et al, {log}: A Logic Programming Language with Finite Sets, Proc 8th Intl Conf Logic Prog, June 1991, pp.111-124 view details
|