LEADER 01578nam  2200445   450 
001 996464492203316
005 20220609095640.0
010   $a3-030-86059-0
035   $a(CKB)5600000000003483
035   $a(MiAaPQ)EBC6716400
035   $a(Au-PeEL)EBL6716400
035   $a(OCoLC)1266363079
035   $a(PPN)257350837
035   $a(EXLCZ)995600000000003483
100   $a20220609d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aAutomated reasoning with analytic tableaux and related methods $e30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /$fAnupam Das, Sara Negri, (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (476 pages)
225 1 $aLecture notes in computer science. Lecture notes in artificial intelligence ;$v12842
311   $a3-030-86058-2 
320   $aIncludes bibliographical references and index.
410  0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v12842.
606   $aAutomatic theorem proving$vCongresses
615  0$aAutomatic theorem proving
676   $a004.015113
702   $aDas$b Anupam
702   $aNegri$b Sara$f1967-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464492203316
996   $aAutomated Reasoning with Analytic Tableaux and Related Methods$92556460
997   $aUNISA