MARC record from Internet Archive

LEADER: 05815cam 22011174a 4500
001 ocm50129346
003 OCoLC
005 20181020041725.0
008 020628s2002 gw a b 101 0 eng
006 m d
007 cr un|||||||||
010 $a 2002026828
040 $aDLC$beng$cDLC$dOHX$dC$Q$dUKM$dC#P$dUBA$dNLC$dBAKER$dBTCTA$dYDXCP$dLVB$dOCLCG$dSTF$dIG#$dDEBBG$dGW5XE$dOCLCQ$dILU$dOCLCF$dOCLCQ$dQE2$dBDX$dZWZ$dOCL$dOCLCO$dOCLCQ$dOCLCO$dCAUOI$dMNU$dOCLCQ$dOCLCO$dRCE$dOCLCA$dOCLCQ$dWLU
015 $aGBA252680$2bnb
015 $a20030002818$2can
016 $a(AMICUS)000027452931
016 $a20030002818
019 $a456729540$a496270909$a960132115$a967859833$a1011923429$a1017544365$a1048984807$a1049755579$a1050127276$a1052813893
020 $a3540439412$q(softcover ;$qalk. paper)
020 $a9783540439417$q(softcover ;$qalk. paper)
035 $a(OCoLC)50129346$z(OCoLC)456729540$z(OCoLC)496270909$z(OCoLC)960132115$z(OCoLC)967859833$z(OCoLC)1011923429$z(OCoLC)1017544365$z(OCoLC)1048984807$z(OCoLC)1049755579$z(OCoLC)1050127276$z(OCoLC)1052813893
042 $apcc
050 00 $aQA75.5$b.S27 2002
055 01 $aQA75.5
072 7 $aQ$2lcco
082 00 $a006.3$221
084 $aDAT 001f$2stub
084 $aDAT 510f$2stub
084 $aDAT 700f$2stub
084 $aSS 4800$2rvk
084 $acci1icc$2lacc
084 $acoll1$2lacc
111 2 $aSARA 2002$d(2002 :$cKananaskis, Alta.)
245 10 $aAbstraction, reformulation, and approximation :$b5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings /$cSven Koenig, Robert C. Holte (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2002.
300 $axi, 346 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v2371. Lecture notes in artificial intelligence
504 $aIncludes bibliographical references and index.
530 $aAlso available via the World Wide Web.
505 00 $tModel Checking and Abstraction /$rRobert P. Kurshan --$tReformulation in Planning /$rDerek Long, Maria Fox and Muna Hamdi --$tSpatiotemporal Abstraction of Stochastic Sequential Processes /$rSridhar Mahadevan --$tState Spate Relaxation and Search Strategies in Dynamic Programming /$rAristide Mingozzi --$tAdmissible Moves in Two-Player Games /$rTristan Cazenave --$tDynamic Bundling: Less Effort for More Solutions /$rBerthe Y. Choueiry and Amy M. Davis --$tSymbolic Heuristic Search Using Decision Diagrams /$rEric Hansen, Rong Zhou and Zhengzhu Feng --$tOn the Construction of Human-Automation Interfaces by Formal Abstraction /$rMichael Heymann and Asaf Degani --$tPareto Optimization of Temporal Decisions /$rLina Khatib, Paul Morris and Robert Morris.
650 0 $aComputer science$vCongresses.
650 0 $aArtificial intelligence$vCongresses.
650 7 $aArtificial intelligence.$2fast$0(OCoLC)fst00817247
650 7 $aComputer science.$2fast$0(OCoLC)fst00872451
650 7 $aAbstraktion$2gnd
650 7 $aApproximation$2gnd
650 7 $aConstraint-Erfu llung$2gnd
650 7 $aFormulierung$2gnd
650 7 $aInferenz$gKu nstliche Intelligenz$2gnd
650 7 $aMaschinelles Lernen$2gnd
650 7 $aModel Checking$2gnd
650 7 $aINTELIGE NCIA ARTIFICIAL (CONGRESSOS)$2larpcal
650 7 $aESPECIFICAC ʹA O DE PROGRAMAS E SISTEMAS (CONGRESSOS)$2larpcal
650 7 $aIntelligence artificielle$xCongre s.$2ram
650 7 $aApproximation, The orie de l'$xCongre s.$2ram
650 7 $aKongress$2gnd
650 7 $aKorrektur$2gnd
650 7 $aKu nstliche Intelligenz$2gnd
650 7 $aProgrammierung$2gnd
650 6 $aInformatique$vCongre s.
650 6 $aIntelligence artificielle$vCongre s.
655 4 $aKongress$zKananaskis (Alberta)$y2002.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
655 7 $aAlberta (2002)$2swd
700 1 $aKoenig, Sven,$d1964-
700 1 $aHolte, Robert C.
830 0 $aLecture notes in computer science ;$v2371.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 41 $3SpringerLink$uhttp://dx.doi.org/10.1007/3-540-45622-8
856 41 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2371
856 41 $3SpringerLink$uhttp://www.springerlink.com/content/r181nr07ub3h
856 41 $uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2371.htm$zRestricted to Springer LINK subscribers
856 41 $uhttp://link.springer.de/link/service/series/0558/tocs/t2371.htm
856 41 $uhttp://link.springer.com/10.1007/3-540-45622-8$zeBook available for UOIT via SpringerLink. Click link to access
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0813/2002026828-d.html
856 41 $uhttp://ezproxy.rice.edu/login?url=http://link.springer-ny.com/link/service/series/0558/tocs/t2371.htm$zRestricted to Springer LINK subscribers
938 $aBaker & Taylor$bBKTY$c69.95$d69.95$i3540439412$n0004036287$sactive
938 $aBrodart$bBROD$n59730994$c$62.00
938 $aBaker and Taylor$bBTCP$n2002026828
938 $aOtto Harrassowitz$bHARR$nhar025022724
938 $aIngram$bINGR$n9783540439417
938 $aYBP Library Services$bYANK$n1906069
029 1 $aAU@$b000023744100
029 1 $aAU@$b000024000895
029 1 $aDEBBG$bBV014555356
029 1 $aIG#$b9783540439417
029 1 $aNLGGC$b24017917X
029 1 $aNZ1$b7035363
029 1 $aYDXCP$b1906069
029 1 $aZWZ$b067117880
029 1 $aNLC$b000027452931
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 167 OTHER HOLDINGS