LEADER 01949nam 2200553 a 450 001 9910461068403321 005 20200520144314.0 010 $a1-61324-032-5 035 $a(CKB)2670000000089934 035 $a(EBL)3019436 035 $a(SSID)ssj0000473966 035 $a(PQKBManifestationID)12193218 035 $a(PQKBTitleCode)TC0000473966 035 $a(PQKBWorkID)10466840 035 $a(PQKB)11105688 035 $a(MiAaPQ)EBC3019436 035 $a(Au-PeEL)EBL3019436 035 $a(CaPaEBR)ebr10671001 035 $a(OCoLC)923661076 035 $a(EXLCZ)992670000000089934 100 $a20091125d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTreatment of ventricular fibrillation$b[electronic resource] /$fRajiv Sankaranarayanan, Hanney Gonna and Michael James 210 $aHauppauge, N.Y. $cBioMedical Books$dc2010 215 $a1 online resource (76 p.) 225 1 $aCardiology research and clinical developments 300 $aDescription based upon print version of record. 311 $a1-60876-850-3 320 $aIncludes bibliographical references (p. [41]-55) and index. 327 $aCardiopulmonary resuscitation -- Drug therapy for ventricular fibrillation -- Automated external defibrillators and public access defibrillation -- Internal cardiovertor defibrillator -- VF ablation. 410 0$aCardiology research and clinical developments. 606 $aVentricular fibrillation 608 $aElectronic books. 615 0$aVentricular fibrillation. 676 $a616.1/28 700 $aSankaranarayanan$b Rajiv$0890081 701 $aGonna$b Hanney$0890082 701 $aJames$b Michael$f1960-$0890083 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461068403321 996 $aTreatment of ventricular fibrillation$91988526 997 $aUNINA LEADER 05410nam 22007095 450 001 9910144923703321 005 20251117003610.0 010 $a3-540-69249-5 024 7 $a10.1007/3-540-63255-7 035 $a(CKB)1000000000234675 035 $a(SSID)ssj0000324522 035 $a(PQKBManifestationID)11268430 035 $a(PQKBTitleCode)TC0000324522 035 $a(PQKBWorkID)10305884 035 $a(PQKB)11702064 035 $a(DE-He213)978-3-540-69249-2 035 $a(PPN)155166379 035 $a(EXLCZ)991000000000234675 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning $eFourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /$fedited by Ulrich Furbach, Anil Nerode 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XI, 461 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1265 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-63255-7 327 $aForward and backward chaining in constraint programming -- Strong and weak constraints in disjunctive datalog -- Nonmonotonic reasoning with quantified boolean constraints -- Improving the alternating fixpoint: The transformation approach -- Is non-monotonic reasoning always harder -- Complexity of only knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning with nonmonotonic logics -- Simulations between programs as cellular automata -- Separating disbeliefs from beliefs in autoepistemic reasoning -- Power defaults (preliminary report) -- A study of Przymusinski's static semantics -- Resolution for skeptical stable semantics -- Computing non-ground representations of stable models -- Industry needs for integrated information services -- Computing, solving, proving: A report on the Theorema project -- Towards a systematic approach to representing knowledge in declarative logic programming -- A paraconsistent semantics with contradiction support detection -- On conservative enforced updates -- A general framework for revising nonmonotonic theories -- Composing general logic programs -- Modular logic programming and generalized quantifiers -- Programs with universally quantified embedded implications -- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects -- DisLoP: Towards a disjunctive logic programming system -- REVISE: Logic programming and diagnosis -- A deductive system for non-monotonic reasoning -- The deductive database system LOLA -- ACLP: Flexible solutions to complex problems -- Nonmonotonic reasoning in FLORID -- GLUE: Opening the world to theorem provers -- Smodels ? an implementation of the stable model and well-founded semantics for normal logic programs -- XSB: A system for efficiently computing well-founded semantics -- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. 410 0$aLecture Notes in Artificial Intelligence ;$v1265 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer architecture 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer architecture. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a006.3/36 702 $aFurbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPNMR '97 906 $aBOOK 912 $a9910144923703321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA