Techniques of Prolog programming with implementation of logical negation and quantified goals

• Κύριος συγγραφέας: Le Van, T.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: New York John Wiley & Sons 1993
• Θέματα: Prolog (Γλώσσα προγραμματισμού)
• Φυσική περιγραφή: xviii, 601 p. fig. 24 cm. 2 disks
• Βιβλιογραφία: Includes bibliographical references and index
• ISBN: 047157175X