Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers Proceedings uri icon

edited by

  • Virbitskaite, Irina; Voronkov, Andrei

publication date

  • 2006

International Standard Book Number (ISBN) 13

  • 978-3-540-70880-3

volume

  • 4378