LEADER 01777nam 2200529Ia 450 001 9910709938203321 005 20180711120939.0 024 8 $aGOVPUB-C13-8eb3ba7b661267ba1df1dd72004d565a 035 $a(CKB)5470000002474886 035 $a(OCoLC)86119147 035 $a(OCoLC)995470000002474886 035 $a(EXLCZ)995470000002474886 100 $a20070323d2006 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEvaluating reasoning systems /$fConrad Bock [and others] 210 1$a[Gaithersburg, MD] :$cU.S. Dept. of Commerce, National Institute of Standards and Technology,$d[2006]. 215 $a1 online resource (93 pages) $cillustrations 225 1 $aNISTIR ;$v7310 300 $a"May 2006." 300 $aContributed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aTitle from page [1], viewed March 5, 2007. 320 $aIncludes bibliographical references (pages 79-93). 606 $aArtificial intelligence 606 $aArtificial intelligence$2fast 615 0$aArtificial intelligence. 615 7$aArtificial intelligence. 701 $aBock$b C$g(Conrad)$01388773 701 $aGruninger$b Michael$01410678 701 $aLibes$b Don$f1958-$0632088 701 $aLubell$b Joshua$01388208 701 $aSubrahmanian$b Eswaran$01207681 712 02$aNational Institute of Standards and Technology (U.S.) 801 0$bNBS 801 1$bNBS 801 2$bOCLCG 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9910709938203321 996 $aEvaluating reasoning systems$93518897 997 $aUNINA