000 01093cam a22002533u 4500
999 _c80846
_d80846
001 10100765
003 upatras
005 20210909124743.0
008 991022s1986 1 eng
020 _a3540164928
020 _a0387164928
040 _aΒιβλιοθήκη ΕΑΙΤΥ
_cΒιβλιοθήκη ΕΑΙΤΥ
082 _a005.1
111 2 _9187385
_aInternational Conference on Logic Programming
_n(3rd :
_d1986 :
_cLondon)
245 1 0 _aThird international conference on logic programming :
_bImperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings /
_cedited by Ehud Shapiro.
260 _aBerlin ;
_aNew York :
_bSpringer,
_cc1986.
300 _aix, 720 σ. :
_bεικ. ;
_c24 εκ.
490 0 _aLecture notes in computer science
_v225
504 _aΠεριλαμβάνει βιβλιογραφικές παραπομπές.
650 4 _aΛογικός προγραμματισμός
_961492
700 1 _aShapiro, Ehud
_9113470
_eεπιμελητής
942 _2ddc
_cBK