LEADER 01908oas  2200721 a 450 
001 9910146783003321
005 20260218111543.0
035   $a(DE-599)ZDB2170262-7
035   $a(OCoLC)56719880
035   $a(CONSER)  2010252108
035   $a(CKB)1000000000022961
035   $a(DE-599)2170262-7
035   $a(EXLCZ)991000000000022961
100   $a20041013a20059999  sy 
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 08$a1860-5974 
517 3 $aLMCS
531 1 $aLog. methods comput. sci.
606   $aComputer logic$vPeriodicals
606   $aComputer science$vPeriodicals
606   $aInformatique$vPe?riodiques
606   $aLogique informatique$vPe?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
801  0$bSNM
801  1$bSNM
801  2$bOCLCQ
801  2$bMUQ
801  2$bCUS
801  2$bBUF
801  2$bSYB
801  2$bOCLCQ
801  2$bWAU
801  2$bHEBIS
801  2$bOCLCQ
801  2$bOCLCF
801  2$bOCLCQ
801  2$bSRU
801  2$bOCLCQ
801  2$bOCLCO
801  2$bOCLCQ
801  2$bAUD
801  2$bOCLCL
801  2$bOCLCQ
906   $aJOURNAL
912   $a9910146783003321
996   $aLogical methods in computer science$92016901
997   $aUNINA