scientific article; zbMATH DE number 1950447
From MaRDI portal
Publication:4413060
zbMath1037.68035MaRDI QIDQ4413060
Li Yan Yuan, Yi-Dong Shen, Neng-Fa Zhou, Jia-Huai You
Publication date: 17 July 2003
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-02/S01-02.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Logic programming with solution preferences ⋮ Dynamic reordering of alternatives for definite logic programs ⋮ Enhancing global SLS-resolution with loop cutting and tabling mechanisms
Uses Software
This page was built for publication:
