01478nas 2200469 a 450 99620791860331620240413020457.01573-0670(OCoLC)38266687(CKB)954926965948(CONSER) 2004229180(DE-599)ZDB1479376-3(MiAaPQ)2028908(EXLCZ)9995492696594819980126a19859999 sy aengurmnu|||||txtrdacontentcrdamediacrrdacarrierJournal of automated reasoning[Dordrecht] Kluwer Academic Publishers[Netherlands] Springer NetherlandsRefereed/Peer-reviewed0168-7433 Automatic theorem provingPeriodicalsArtificial intelligencePeriodicalsLogic programmingPeriodicalsThéorèmesDémonstration automatiquePériodiquesIntelligence artificiellePériodiquesProgrammation logiquePériodiquesAutomatic theorem provingArtificial intelligenceLogic programmingThéorèmesDémonstration automatiqueIntelligence artificielleProgrammation logique511.3JOURNAL996207918603316Journal of automated reasoning2262346UNISA