*001963822
*00520250613104403.0
*007ta
*008110915s2006 gw 100 u eng d
*00901813cam a2200385 c 4500
*019 $bl
*020 $a3540371877$qh.
*020 $a9783540371878$qh.
*035 $a(EXLNZ-47BIBSYS_NETWORK)990616920694702201
*035 $a(NO-LaBS)14970200(bibid)
*035 $a(NO-TrBIB)061692069
*035 $a061692069-47bibsys_network
*040 $aNO-TrBIB$bnob$ekatreg
*080 $a510.6-37
*080 $a519.816
*1112 $aIJCAR 2006$0(NO-TrBIB)6079818$_121229200
*24510$aAutomated reasoning :$bthird international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings$cUlrich Furbach, Natarajan Shankar (eds.)
*260 $aBerlin$bSpringer$cc2006
*300 $aXV, 680 s.$bfig.
*4901 $aLecture notes in artificial intelligence
*4901 $aLecture notes in computer science$v4130
*650 7$aAutomatisk deduksjon$2tekord$_187620400
*650 7$aBeslutningsteori$2tekord$vKongresser$_187567400
*7001 $aFurbach, Ulrich$0(NO-TrBIB)97022184$_72178300
*7001 $aShankar, N.$0(NO-TrBIB)90861009$_121229300
*7760 $tAutomated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings$w990704800604702201
*830 0$aLecture notes in artificial intelligence$_13074300
*830 0$aLecture notes in computer science$v4130$_13074400
*85642$3Forlagets beskrivelse (kort)$uhttps://contents.bibs.aws.unit.no/?isbn=9783540371878
*85642$3Forlagets beskrivelse (lang)$uhttps://contents.bibs.aws.unit.no/?isbn=9783540371878
*85642$3Innholdsfortegnelse$uhttps://contents.bibs.aws.unit.no/?isbn=9783540371878
*85642$3Miniatyrbilde$uhttps://contents.bibs.aws.unit.no/files/images/small/8/7/9783540371878.jpg$qimage/jpeg
*85642$3Omslagsbilde$uhttps://contents.bibs.aws.unit.no/files/images/large/8/7/9783540371878.jpg$qimage/jpeg
*901 $a80
*999 $aoai:nb.bibsys.no:990616920694702202$b2021-11-14T21:11:14Z$z990616920694702202
^
