Perspectives of system informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers

Bibliographische Detailangaben

Körperschaft:	International Andrei P. Ershov Informatics Conference (VerfasserIn)
Weitere Verfasser:	Petrenko, Alexander K. (HerausgeberIn), Voronkov, Andrei (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2018
Schriftenreihe:	Lecture notes in computer science 10742
Schlagworte:	Konferenzschrift > Theoretische Informatik > Programmierung > Künstliche Intelligenz
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!