LEADER 03728nam  22006615  450 
001 996466470103316
005 20200704000111.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$b[electronic resource] $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 ;$v11714
311   $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 ;$v11714
606   $aArtificial intelligence
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aSoftware engineering
606   $aComputer system failures
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   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aSoftware engineering.
615  0$aComputer system failures.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aMath Applications in Computer Science.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aSystem Performance and Evaluation.
676   $a511.3
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   $a996466470103316
996   $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640
997   $aUNISA