LEADER 01577nas  2200505-a 450 
001 9910146783003321
005 20230801213017.0
035   $a(OCoLC)56719880
035   $a(CKB)1000000000022961
035   $a(CONSER)--2010252108
035   $a(DE-599)ZDB2170262-7
035   $a(EXLCZ)991000000000022961
100   $a20041013a20059999  s--         -
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aLogical methods in computer science $eLMCS
210   $aBraunschweig, Germany $cTechnical University of Braunschweig
300   $aRefereed/Peer-reviewed
311   $a1860-5974 
517 3 $aLMCS
531   $aLOG. METHODS COMPUT. SCI
531   $aLOG METH COMPUT SCI
531   $aLOG. METH. COMPUT. SCI
531 1 $aLog. methods comput. sci.
606   $aComputer logic$vPeriodicals
606   $aComputer science$vPeriodicals
606   $aInformatique$vPériodiques
606   $aLogique informatique$vPériodiques
606   $aComputer logic$2fast$3(OCoLC)fst00872265
606   $aComputer science$2fast$3(OCoLC)fst00872451
608   $aPeriodicals.$2fast
615  0$aComputer logic
615  0$aComputer science
615  6$aInformatique
615  6$aLogique informatique
615  7$aComputer logic.
615  7$aComputer science.
712 02$aInternational Federation of Computational Logic.
906   $aJOURNAL
912   $a9910146783003321
996   $aLogical methods in computer science$92016901
997   $aUNINA