| 1 |  | From logic to logic programming : electronic bk ( Foundations of computing ) | その他 | Kees Doets | MIT Press | 1994 | オンライン |
| 2 | | A grammatical view of logic programming : electronic bk ( Logic programming ) | その他 | Pierre Deransart, Jan Małuszyński | Institut national de recherche en informatique et en automatique | 1988 | オンライン |
| 3 | | Inductive logic programming : from machine learning to software engineering : electronic bk ( Logic programming ) | その他 | Francesco Bergadano and Daniele Gunetti | MIT Press | 1996 | オンライン |
| 4 | | The little typer : electronic bk | その他 | Daniel P. Friedman, David Thrane Christiansen, drawings by Duane Bibby, foreword by Robert Harper, afterword by Conor McBride | MIT Press | 2018 | オンライン |
| 5 | | Logic programming and non-monotonic reasoning : proceedings of the first international workshop : electronic bk | その他 | edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian | MIT Press | 1991 | オンライン |
| 6 | | Logic programming languages : constraints, functions, and objects : electronic bk ( Logic programming ) | その他 | edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten | MIT Press | 1993 | オンライン |
| 7 | | Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 : electronic bk ( MIT Press series in logic programming , Logic programming , Lecture notes in computer science ) | その他 | edited by by Leon S. Sterling | MIT Press | 1995 | オンライン |
| 8 | | Logic programming : proceedings of the 1995 international symposium : electronic bk ( Logic programming ) | その他 | edited by John Lloyd | MIT Press | 1995 | オンライン |
| 9 | | Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming : electronic bk ( Logic programming series ) | その他 | edited by Michael Maher | MIT | 1996 | オンライン |
| 10 | | Logic programming : proceedings of the 1997 International Symposium : electronic bk ( Logic programming series ) | その他 | edited by Jan Małuszyński | MIT Press | 1997 | オンライン |