000 01140nas a2200313 i 4500
999 _c343657
_d343657
001 343657
003 ES-MaUEC
005 20230102120132.0
006 s|r|poo ||| 0 0
007 cr nn nnnaamaa
008 211027s1990 xx poo 000 0 eng d
020 _a0955-792X (edición impresa)
022 _a1465-363X (edición electrónica)
040 _aES-MaUEC
_bspa
_dES-MaUEC
_cES-MaUEC
050 4 _aQA76.63
_bES
245 0 0 _aJournal of Logic and Computation
264 1 _aOxford, England
_bOxford University Press
_c1990-
300 _a1 recurso en línea
336 _2rdacontent
_atexto
_btxt
337 _2rdamedia
_aelectrónico
_bc
338 _2rdacarrier
_arecurso electrónico
_bcr
988 _aE-revistas Oxford University Press
650 7 _2embne
_9160750
_aProgramación lógica
_vPublicaciones periódicas
710 1 _aProfessor Dov Gabbay
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://academic.oup.com/logcom
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
866 _a1996-
_bvol. 6, no. 1-
942 _cRE
_2lcc
998 _b11/2021
_dr
_ek
_zSI