LEADER 01478nas  2200469 a 450 
001 996207918603316
005 20240413020457.0
011   $a1573-0670
035   $a(OCoLC)38266687
035   $a(CKB)954926965948
035   $a(CONSER)  2004229180
035   $a(DE-599)ZDB1479376-3
035   $a(MiAaPQ)2028908
035   $a(EXLCZ)99954926965948
100   $a19980126a19859999  sy         a
101 0 $aeng
135   $aurmnu|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aJournal of automated reasoning
210   $a[Dordrecht] $cKluwer Academic Publishers
210 3 $a[Netherlands] $cSpringer Netherlands
300   $aRefereed/Peer-reviewed
311   $a0168-7433 
606   $aAutomatic theorem proving$vPeriodicals
606   $aArtificial intelligence$vPeriodicals
606   $aLogic programming$vPeriodicals
606   $aThe?ore?mes$xDe?monstration automatique$vPe?riodiques
606   $aIntelligence artificielle$vPe?riodiques
606   $aProgrammation logique$vPe?riodiques
615  0$aAutomatic theorem proving
615  0$aArtificial intelligence
615  0$aLogic programming
615  6$aThe?ore?mes$xDe?monstration automatique
615  6$aIntelligence artificielle
615  6$aProgrammation logique
676   $a511.3
906   $aJOURNAL
912   $a996207918603316
996   $aJournal of automated reasoning$92262346
997   $aUNISA