- Author: Wilkinson Leland
- Language: English
- Year: 1999
- Author: Foster Dennis L., Sawyer Brian
- Language: English
- Year: 1986
Logic programming
djvu
- Author: Clark Keith L Taernlund S.-A. (eds.)
- Language: English
- Year: 1982
- Author: Banerjee Bohua. Seth A. (eds.)
- Language: English
- Year: 2011
- Author: Reinders J. Jeffers J.
- Language: English
- Year: 2015
- Author: Davies Geoff, Burns Alan
- Language: English
- Year: 1993
Computation as logic
djvu
- Author: Lalement René
- Language: English
- Year: 1993
- Author: Stone John David
- Language: English
- Year: 2018
- Author: Kaplan Haim
- Language: English
- Year: 2010
- Author: Schörghofer Norbert
- Language: English
- Year: 2019