00976nam0 22002531i 450 UON0044110320231205104950.5520140616d1958 |0itac50 barusRU|||| 1||||ˆ"‰Tichij Don" M. ŠolochovaO masterstve pisateljaL. Jakimenko2. izd.ispravlennoe i dopolnennoeMoskvaSovetskij pisatel'1958554 p.20 cm.ŠOLOCHOV MICHAIL ALEKSANDROVIČUONC038574FI891.704Letteratura russa, 1917-21JAKIMENKOLev Grigor'evičUONV222246712918ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00441103SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI RUSSO C 0016 SI MR 61397 7 0016 Tichij Don" M. Solochova1327230UNIOR02804nam 22007695 450 991058578500332120251225200435.03-031-10769-110.1007/978-3-031-10769-6(CKB)5850000000051411(MiAaPQ)EBC7055695(Au-PeEL)EBL7055695(OCoLC)1338199767(oapen)https://directory.doabooks.org/handle/20.500.12854/91302(PPN)263897265(oapen)doab91302(DE-He213)978-3-031-10769-6(EXLCZ)99585000000005141120220716d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (xv, 756 pages) illustrations (some color)Lecture Notes in Artificial Intelligence,2945-9141 ;133853-031-10768-3 Includes author index.This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Lecture Notes in Artificial Intelligence,2945-9141 ;13385Machine theorySoftware engineeringComputer engineeringComputer networksArtificial intelligenceComputer scienceFormal Languages and Automata TheorySoftware EngineeringComputer Engineering and NetworksArtificial IntelligenceComputer Science Logic and Foundations of ProgrammingMachine theory.Software engineering.Computer engineering.Computer networks.Artificial intelligence.Computer science.Formal Languages and Automata Theory.Software Engineering.Computer Engineering and Networks.Artificial Intelligence.Computer Science Logic and Foundations of Programming.006.333006.333Blanchette Jasminedt1255151Blanchette Jasmin1255151Kovács Laura0Pattinson Dirk1970-1255152MiAaPQMiAaPQMiAaPQBOOK9910585785003321UNINA