LEADER 01575nam 2200517 450 001 996466560703316 005 20230508125046.0 010 $a3-030-84817-5 035 $a(MiAaPQ)EBC6804999 035 $a(Au-PeEL)EBL6804999 035 $a(CKB)19422163100041 035 $a(OCoLC)1286080435 035 $a(PPN)258844612 035 $a(EXLCZ)9919422163100041 100 $a20220815d2021 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGeneralized Mathieu series /$fZ?ivorad Tomovski, Delc?o Leskovski, Stefan Gerhold 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (167 pages) 311 08$aPrint version: Tomovski, ?ivorad Generalized Mathieu Series Cham : Springer International Publishing AG,c2021 9783030848163 320 $aIncludes bibliographical references and index. 606 $aFuncions$2thub 606 $aEquacions$2thub 606 $aMathieu functions 606 $aMathieu equation 608 $aLlibres electrònics$2thub 615 7$aFuncions 615 7$aEquacions 615 0$aMathieu functions. 615 0$aMathieu equation. 676 $a515.54 700 $aTomovski$b Z?ivorad$0781332 702 $aGerhold$b Stefan 702 $aLes?kovski$b Delc?o 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466560703316 996 $aGeneralized Mathieu series$92905567 997 $aUNISA LEADER 03341nam 22006735 450 001 9910349303903321 005 20251225190503.0 010 $a3-030-29026-3 024 7 $a10.1007/978-3-030-29026-9 035 $a(CKB)4100000009076168 035 $a(DE-He213)978-3-030-29026-9 035 $a(MiAaPQ)EBC5925419 035 $a(PPN)242823777 035 $a(EXLCZ)994100000009076168 100 $a20190813d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods $e28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /$fedited by Serenella Cerrito, Andrei Popescu 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 477 p. 2851 illus., 28 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11714 311 08$a3-030-29025-5 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11714 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aSoftware engineering 606 $aElectronic digital computers$xEvaluation 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aMathematical Applications in Computer Science 606 $aSoftware Engineering 606 $aSystem Performance and Evaluation 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aSoftware engineering. 615 0$aElectronic digital computers$xEvaluation. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aMathematical Applications in Computer Science. 615 24$aSoftware Engineering. 615 24$aSystem Performance and Evaluation. 676 $a511.3 676 $a511.36028563 702 $aCerrito$b Serenella$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPopescu$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349303903321 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460 997 $aUNINA