ID:DA02672462
ALP
Search authors sharing the same name
Cambridge University Press c2001-
Computer File (Remote)
Available at 1 libraries
edited by Maurice Bruynooghe
MIT c1994
Available at 17 libraries
edited by Dale Miller
MIT Press c1993 Logic programming
Available at 18 libraries
sponsored by the Association for Logic Programming and ALPUK ; Kung-Kiu Lau and Tim Clement, eds.
Springer-Verlag c1993 Workshops in computing
Available at 11 libraries
edited by Krzysztof Apt
MIT Press c1992 Logic programming
Available at 23 libraries
sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau, [editors]
Springer-Verlag c1992 Workshops in computing
: us , : gw
Available at 12 libraries
edited by Vijay Saraswat and Kazunori Ueda
MIT Press c1991 Logic programming
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
MIT Press c1991
Available at 32 libraries
edited by Saumya Debray and Manuel Hermenegildo
MIT Press c1990 Logic programming
: pbk.
edited by Robert A. Kowalski and Kenneth A. Bowen
MIT Press c1988 MIT Press series in logic programming
: set , v. 1 , v. 2
Available at 30 libraries