000 00907nam a2200253 4500
001 88546
010 _a3-540-23242-7
_bbrochado
_doferta
090 _a88546
100 _a19970207d2004 k||y0pory50 ba
101 _aeng
102 _aGB
200 _aLogics in artificial intelligence
_e9th european conference, JELIA 2004 Lisbon, Portugal, september 27-30, 2004
_eproceedings
_f9th European Conference, JELIA 2004
_ged. by José Júlio Alferes, João Leite
210 _aLondon
_cSpringer-Verlag
_dcop. 2004
215 _aXIV, 744 p.
_cil.
_d24 cm
225 _aLecture notes in artificial intelligence
_h3229
606 _93302
_aLógica
680 _aQ334
702 _949901
_aAlferes
_bJosé Júlio
_4340
702 _965196
_aLeite
_bJoão
_4340
710 _965197
_aEuropean Conference, JELIA 2004
_d9th
_eLisbon
_f2004
801 _gRPC
_aPT
942 _2lcc
_cA
_n0