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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Le Van, T.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York John Wiley & Sons 1993
Θέματα:
LEADER 00999nam a2200253 u 4500
001 10023438
003 upatras
005 20210427152404.0
008 990123s1993 us eng
020 |a 047157175X 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 005.133 
100 1 |a Le Van, T.  |9 149431 
245 1 0 |a Techniques of Prolog programming with implementation of logical negation and quantified goals  |c T. van Le 
260 |a New York  |b John Wiley & Sons  |c 1993 
300 |a xviii, 601 p.  |b fig.  |c 24 cm.   |e 2 disks 
504 |a Includes bibliographical references and index 
650 4 |a Prolog (Γλώσσα προγραμματισμού)  |9 2196 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 005.133  |m 045803  |p 025000059215  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 005_133000000000000  |7 0  |9 190269  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 045803  |l 0  |o 005.133  |p 025000059215  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΣΥΨΑ  |d 1999-08 
999 |c 117173  |d 117173