LEADER 03484nam  22007455  450 
001 9910364954303321
005 20230221155353.0
010   $a3-030-37487-4
024 7 $a10.1007/978-3-030-37487-7
035   $a(CKB)4100000010013767
035   $a(MiAaPQ)EBC6001685
035   $a(DE-He213)978-3-030-37487-7
035   $a(PPN)242818595
035   $a(EXLCZ)994100000010013767
100   $a20191213d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPerspectives of System Informatics $e12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2?5, 2019, Revised Selected Papers /$fedited by Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (279 pages)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11964
311   $a3-030-37486-6 
327   $aMathematics of Computing -- Information Systems -- Formal Languages -- Automata Theory -- Algebraic Language Theory -- Logic -- Semantics and Reasoning -- Architectures -- Parallel Architectures -- Software and its engineering -- Document management and text processing. .
330   $aThis book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11964
606   $aComputer science
606   $aComputer networks
606   $aComputers, Special purpose
606   $aMachine theory
606   $aComputer programming
606   $aLogic programming
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Communication Networks
606   $aSpecial Purpose and Application-Based Systems
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aLogic in AI
615  0$aComputer science.
615  0$aComputer networks.
615  0$aComputers, Special purpose.
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aLogic programming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Communication Networks.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
615 24$aLogic in AI.
676   $a004
676   $a004 (edition:23)
702   $aBjørner$b Nikolaj$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVirbitskaite$b Irina$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoronkov$b Andrei$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910364954303321
996   $aPerspectives of system informatics$91487606
997   $aUNINA