LEADER 01565nam a2200349 a 4500
001 1953275
005 20171111235837.0
008 031009s2000 mau r 000 0 eng d
020 |a 0262122324  |q (alk. paper) 
040 |a GR  |b Πολυτεχνείο Κρήτης 
050 |a Q387  |b .L48 2000 
082 0 |2 21  |a 006.3/32 
082 0 |2 22η  |a 006.332 
100 1 0 |a Levesque, Hector J.,  |d 1951- 
245 1 4 |a The logic of knowledge bases /  |c Hector J. Levesque and Gerhard Lakemeyer 
260 1 4 |a Cambridge, Mass. :  |b MIT Press,  |c c2000 
300 1 4 |a xviii, 282 p. ;  |c 24 cm 
504 1 4 |a Includes bibliographical references (p. [275]-280) and index 
504 1 4 |a Περιέχει βιβλιογραφικές παραπομπές και ευρετήριο 
504 1 4 |a Includes bibliographical references and index. 
650 1 0 |a Knowledge representation (Information theory) 
650 1 0 |a Expert systems (Computer science) 
650 1 0 |a Logic, Symbolic and mathematical 
650 1 0 |a Αναπαράσταση της γνώσης (Θεωρία της πληροφορίας) 
650 1 0 |a Συστήματα εμπειρογνωμοσύνης 
650 1 0 |a Λογική, Συμβολική και μαθηματική 
700 1 0 |a Lakemeyer, Gerhard 
710 1 0 |a MIT Press 
710 1 0 |a M.I.T. Press 
952 |a GR-AtNTU  |b 59cc27d16c5ad13446f9a579  |c 998a  |d 945l  |e 006.332 LEV  |t 1  |x m  |z Books 
952 |a CY-NiOUC  |b 5a0428f16c5ad14ac1e7ec71  |c 998a  |d 945l  |e Q387.L48 2000  |t 1  |x m  |z Books 
952 |a GR-AtPPV  |b 59ccd08f6c5ad13446099e67  |c 998a  |d 945l  |e 006.332 LEV  |t 1  |x m  |z Books