Techniques of Prolog programming with implementation of logical negation and quantified goals
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York
John Wiley & Sons
1993
|
Θέματα: |
Φυσική περιγραφή: | xviii, 601 p. fig. 24 cm. 2 disks |
---|---|
Βιβλιογραφία: | Includes bibliographical references and index |
ISBN: | 047157175X |