Logic programming : proceedings of the 1993 international symposium / edited by Dale Miller
Logic programming : proceedings of the 1993 international symposium / edited by Dale Miller - - Cambridge : MIT Press, 1993 1993 - xi,686 p. 22 cm - .
0-262-63152-01
Logic programming-Congresses
681.3.06 Log:93