LEADER 02341nam 2200529Ia 450 001 9910779624903321 005 20230803020718.0 010 $a1-60805-473-X 035 $a(CKB)2550000001042775 035 $a(EBL)1137762 035 $a(OCoLC)895427693 035 $a(SSID)ssj0000912982 035 $a(PQKBManifestationID)11514876 035 $a(PQKBTitleCode)TC0000912982 035 $a(PQKBWorkID)11013248 035 $a(PQKB)11370835 035 $a(MiAaPQ)EBC1137762 035 $a(Au-PeEL)EBL1137762 035 $a(CaPaEBR)ebr10677810 035 $a(EXLCZ)992550000001042775 100 $a20130413d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAstrobiology the search for life in the universe$b[electronic resource] /$fArnold Hanslmeier 210 $a[Sharjah, U.A.E.] $cBentham Science Publishers$d2013 215 $a1 online resource (220 p.) 300 $aIncludes index. 311 $a1-60805-599-X 327 $a""Title ""; ""EUL ""; ""Contents ""; ""Foreword ""; ""Preface ""; ""Chapter 01 ""; ""Chapter 03 ""; ""Chapter 02 ""; ""Chapter 04 ""; ""Chapter 05 ""; ""Chapter 06 ""; ""Chapter 07 ""; ""Chapter 08 ""; ""Chapter 09 ""; ""Chapter 10 ""; ""Bibliography ""; ""Index "" 330 $aAstrobiology refers to the study of the origin, evolution, distribution, and future of life in the universe. This encompasses extraterrestrial life and life on Earth. Astrobiology is an interdisciplinary field that is gaining a rapidly growing interest among both the general public and the astronomical research community. This e-book explains the detection and evolution of exoplanets and discusses the question of habitability on such objects. Chapters in this text include cited references enabling the reader to acquire more information on specific aspects of astrobiology. It is also a suitable 606 $aExobiology 606 $aLife on other planets 615 0$aExobiology. 615 0$aLife on other planets. 676 $a576.8 676 $a576.839 700 $aHanslmeier$b Arnold$0858461 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779624903321 996 $aAstrobiology the search for life in the universe$93708632 997 $aUNINA LEADER 04744nam 22006255 450 001 9910768459603321 005 20200704215437.0 010 $a3-540-69046-8 024 7 $a10.1007/BFb0027400 035 $a(CKB)1000000000234636 035 $a(SSID)ssj0000321541 035 $a(PQKBManifestationID)11246331 035 $a(PQKBTitleCode)TC0000321541 035 $a(PQKBWorkID)10280350 035 $a(PQKB)10463200 035 $a(DE-He213)978-3-540-69046-7 035 $a(PPN)15520517X 035 $a(EXLCZ)991000000000234636 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $eInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /$fedited by Didier Galmiche 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XII, 380 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1227 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62920-3 327 $aMGTP: A model generation theorem prover ? Its advanced features and applications ? -- Three faces of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis applications -- Free variable tableaux for propositional modal logics -- A sequent calculus for skeptical Default Logic -- A fast saturation strategy for set-theoretic tableaux -- Hintikka multiplicities in matrix decision methods for some propositional modal logics -- Automated natural deduction prover and experiments -- Non-elementary speed-ups in proof length by different variants of classical analytic calculi -- Ordered tableaux: Extensions and applications -- Two loop detection mechanisms: A comparison -- Subgoal alternation in model elimination -- Projection: A unification procedure for tableaux in Conceptual Graphs -- On quasitautologies -- Tableaux methods for access control in distributed systems -- Proving correctness of labeled transition systems by semantic tableaux -- Tableau methods for PA-processes -- A tableau proof system for a mazurkiewicz trace logic with fixpoints -- ileanTAP: An intuitionistic theorem prover -- Simplifying and generalizing formulae in tableaux. Pruning the search space and building models -- A framework for using knowledge in tableau proofs -- A sequent calculus for reasoning in four-valued Description Logics -- Tableaux for functional dependencies and independencies. 330 $aThis book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997. The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic. 410 0$aLecture Notes in Artificial Intelligence ;$v1227 606 $aComputer architecture 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputer architecture. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 14$aComputer System Implementation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a006.3/33 702 $aGalmiche$b Didier$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTABLEAUX '97 906 $aBOOK 912 $a9910768459603321 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460 997 $aUNINA