Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Andrei Ershov Memorial Conference (2019 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Perspectives of system informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: International Andrei Ershov Memorial Conference (2019 :); Bjorner, Nikolaj.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Systems engineering Logics and Meanings of Programs. Logic in AI. Programming Techniques. Computer programming Special Purpose and Application-Based Systems. Computer science Computer Communication Networks.

Change password

Login