LEADER 03056oas 2201129 a 450 001 9910142430903321 005 20251106213014.0 011 $a1573-0670 035 $a(DE-599)ZDB1479376-3 035 $a(DE-599)1479376-3 035 $a(OCoLC)38266687 035 $a(CONSER) 2004229180 035 $a(CKB)954926965948 035 $a(EXLCZ)99954926965948 100 $a19980126a19859999 sy a 101 0 $aeng 135 $aurmnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aJournal of automated reasoning 210 $cKluwer Academic Publishers 210 3 $aNetherlands $cSpringer Netherlands 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$a0168-7433 531 0 $aJ. autom. reason. 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 606 $aArtificial intelligence$2fast$3(OCoLC)fst00817247 606 $aAutomatic theorem proving$2fast$3(OCoLC)fst00822777 606 $aLogic programming$2fast$3(OCoLC)fst01002056 606 $aDemostració automàtica de teoremes$2thub 606 $aIntel·ligència artificial$2thub 606 $aLingüística$2thub 606 $aInformàtica$2thub 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 608 $aRevistes electròniques.$2thub 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 615 7$aArtificial intelligence. 615 7$aAutomatic theorem proving. 615 7$aLogic programming. 615 7$aDemostració automàtica de teoremes. 615 7$aIntel·ligència artificial. 615 7$aLingüística. 615 7$aInformàtica. 676 $a511.3 801 0$bF#A 801 1$bF#A 801 2$bOCL 801 2$bOCLCQ 801 2$bMUQ 801 2$bOCLCQ 801 2$bFUG 801 2$bOCLCQ 801 2$bOCL 801 2$bMYG 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bBUF 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCLCQ 801 2$bEZC 801 2$bUKMGB 801 2$bDLC 801 2$bVT2 801 2$bNJT 801 2$bUBY 801 2$bCUS 801 2$bOCLCO 801 2$bOCLCQ 801 2$bUAB 801 2$bSXB 801 2$bOCLCL 801 2$bCSU 801 2$bLIP 801 2$bUWO 801 2$bYOU 801 2$bFIE 801 2$bADU 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910142430903321 996 $aJournal of automated reasoning$92262346 997 $aUNINA