Logic programming : proceedings of the North American Conference 1989 /

57

Bibliographic Details
Main Authors: Lusk, Ewing, Overbeek, Ross A.
Format: