Logic programming
MIT Press
Continued:MIT Press in logic programming
edited by Leon S. Sterling
MIT Press c1990 Logic programming
所蔵館25館
Richard A. O'Keefe
所蔵館30館
edited by David H.D. Warren and Peter Szeredi
所蔵館29館
edited by Harvey Abramson and M.H. Rogers
MIT Press c1989 Logic programming
所蔵館33館
edited by Ewing L. Lusk and Ross A. Overbeek
MIT Press c1989 Logic programming v. 1, 2
v. 1 , v. 2
edited by Giorgio Levi and Maurizio Martelli
: pbk
所蔵館32館
Pascal Van Hentenryck