01254nam--2200385---450-99000269232020331620080415131946.0000269232USA01000269232(ALEPH)000269232USA0100026923220051206d1970----km-y0itay0103----baitaIT||||||||001yyComes et legatus Siciliaesul privilegio di Urbano 2. e la pretesa Apostolica Legazia dei normanni di SiciliaSalvatore FodalePalermoU. Manfredistampa 1970148 p.22 cm.StudiUniversità di PalermoIstituto distoria medioevale22001StudiUniversità di PalermoIstituto distoria medioevale22001001-------2001Legazia apostolica di Sicilia322.1FODALE,Salvatore109992ITsalbcISBD990002692320203316FC M 2513234 DLMFC MBKDILAMDILAM9020051206USA011126DILAM19020080328USA011530DILAM19020080415USA011319Comes et legatus Siciliae860983UNISA01578nam 2200445 450 99646449220331620220609095640.03-030-86059-0(CKB)5600000000003483(MiAaPQ)EBC6716400(Au-PeEL)EBL6716400(OCoLC)1266363079(PPN)257350837(EXLCZ)99560000000000348320220609d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated reasoning with analytic tableaux and related methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /Anupam Das, Sara Negri, (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (476 pages)Lecture notes in computer science. Lecture notes in artificial intelligence ;128423-030-86058-2 Includes bibliographical references and index.Lecture notes in computer science.Lecture notes in artificial intelligence ;12842.Automatic theorem provingCongressesAutomatic theorem proving004.015113Das AnupamNegri Sara1967-MiAaPQMiAaPQMiAaPQBOOK996464492203316Automated Reasoning with Analytic Tableaux and Related Methods2556460UNISA