03728nam 22006615 450 99646647010331620200704000111.03-030-29026-310.1007/978-3-030-29026-9(CKB)4100000009076168(DE-He213)978-3-030-29026-9(MiAaPQ)EBC5925419(PPN)242823777(EXLCZ)99410000000907616820190813d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierAutomated Reasoning with Analytic Tableaux and Related Methods[electronic resource] 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /edited by Serenella Cerrito, Andrei Popescu1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XXI, 477 p. 2851 illus., 28 illus. in color.) Lecture Notes in Artificial Intelligence ;117143-030-29025-5 This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019. The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.Lecture Notes in Artificial Intelligence ;11714Artificial intelligenceMathematical logicComputer science—MathematicsSoftware engineeringComputer system failuresArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Math Applications in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17044Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Artificial intelligence.Mathematical logic.Computer science—Mathematics.Software engineering.Computer system failures.Artificial Intelligence.Mathematical Logic and Formal Languages.Math Applications in Computer Science.Software Engineering/Programming and Operating Systems.System Performance and Evaluation.511.3Cerrito Serenellaedthttp://id.loc.gov/vocabulary/relators/edtPopescu Andreiedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466470103316Automated Reasoning with Analytic Tableaux and Related Methods772640UNISA04549oam 2200649I 450 991078794580332120230807204402.01-138-82108-X1-315-74350-71-317-58933-510.4324/9781315743509 (CKB)2670000000570722(EBL)1813117(SSID)ssj0001385430(PQKBManifestationID)11888973(PQKBTitleCode)TC0001385430(PQKBWorkID)11339373(PQKB)10549876(MiAaPQ)EBC1813117(OCoLC)893332919(EXLCZ)99267000000057072220180706e20151980 uy 0engur|n|---|||||txtccrVaisnavism, Saivism and minor religious systems /R.G. BhandarkarOxon [England] :Routledge,2015.1 online resource (178 p.)Routledge RevivalsFirst published in 1913 by K.J. Trubner. Reprinted in 1980 by Garland Pub.1-138-82106-3 1-322-19273-1 Includes bibliographical references and indexes.Cover; Half Title; Title Page; Copyright Page; Original Title Page; Original Copyright Page; Part I Vaisṇạvism; I. Introductory ( I); II. The Rise of a New Theistic System ( 2-3); III. Analysis of the Nārāyanị̄ya Section of the Mahābhārata ( 4-5); IV. The Sātvatas and their Religion ( 6-10); V. Substance of the Bhagavadgītā (11-27); VI. The Sources of the Religion of the Bhagavadgītā ( 28-31); VII. Identification of Vāsudeva with Nārāyanạ ( 32-34); VIII. Identification of Vāsudeva with Visṇụ ( 35-36); IX. Identification of Vāsudeva-Krṣṇạ with the Cowherd God (Gopāla-Krṣṇạ) ( 37-38)X. The Pāñcarātra or Bhāgavata System ( 39-40)XI. The Avatāras of Visṇụ or Nārāyanạ ( 41); XII. Later Traces of the Bhāgavata School and General Vaisṇạvism ( 42); XIII. The Cult of Rāma ( 43); XIV. Vāsudevism or Vaisṇạvism in the South ( 44); XV. Rāmānuja ( 45-49); XVI. Madhva or Ānandatīrtha ( 50-52); XVII. Nimbārka ( 53-55); XVIII. Rāmānanda ( 56); XIX. Kabīr ( 57-58); XX. Other Rāmānandins ( 59); XXI. Tulasīdās ( 60-61); XXII. Vallabha ( 62-65); XXIII. Caitanya ( 66-69); XXIV. Debasement of Vaisṇạvism ( 70); XXV. Nāmdev and Tukārām ( 71-75); XXVI. Résumé ( 76)Part II. Śaivism and Minor Religions SystemsI. Introductory. Formation of the Conception of Rudra-Śiva ( 77); II. The Development of the Idea of Rudra-Śiva ( 78-82); III. Śvetāśvatara and Atharvaśiras Upanisạds ( 83-86); IV. Rudra-Śiva in the Mahābhārata and Liṅga Worship ( 87-88); V. Origin and Diffusion of the Śaiva Sects and the Several Classes of Śiva Worshippers ( 89-90); VI. Names and Doctrines of the Śaiva Sects ( 91); VII. The Pāśupata System ( 92); VIII. The Śaiva System ( 93-95); IX. The Kāpāla and Kālāmukha Sects ( 96); X. Kaśmīr Śaivism ( 97-99)XI. The Vīrasaiva or Liṅgāyat Sect ( 100-106)XII. Śaivism in the Dravidạ Country ( 107); XIII. The Śāktas or Śakti Worshippers ( 108-110); XIV. The Sect of Gānạpatyas ( 111-112); XV Skanda or Kārttikeya ( 113); XVI. The Sect of Sauras and the Northern Sun-Worship ( 114-116); XVII. Résumé ( 117); XVIII. Hindu Theism and Pantheism ( 118); List of Abbreviations; Index of Sanskrit Words and Proper Names; General Index; List of Sectarian Works consulted; Table of Contents<P>Bhandarkar's <I>Vaisnavism, Saivism and Minor Religious Systems, </I>first published in 1913, explores the origins of Vaishnavism by examining its sources of religion, aspects of the Mahabharata, and the Cult of Rama. Bhandarkar also discusses Saivism by exploring its origin and development. This text is ideal for students of theology. </P>Routledge RevivalsVaishnavismŚaivismHindu sectsIndiaReligionVaishnavism.Śaivism.Hindu sects.294.5512Bhandarkar Ramkrishna GopalSir,1837-1925.,1533201MiAaPQMiAaPQMiAaPQBOOK9910787945803321Vaisnavism, Saivism and minor religious systems3779960UNINA