Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /

Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /

Show other versions (2)

This 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 c...

Full description

Saved in:
Bibliographic Details
Other Authors: Bjørner, Nikolaj (Editor, http://id.loc.gov/vocabulary/relators/edt), Virbitskaite, Irina (Editor, http://id.loc.gov/vocabulary/relators/edt), Voronkov, Andrei (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019
Edition:1st ed. 2019
Series:Theoretical Computer Science and General Issues, 11964
Subjects:
Computer networks
Computer programming
Computer science
Computers, Special purpose
Logic programming
Machine theory
Computer Science Logic and Foundations of Programming
Computer Communication Networks
Formal Languages and Automata Theory
Logic in AI
Programming Techniques
Special Purpose and Application-Based Systems
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items