Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
переписывающий
Связанные издания:
Analyses of Inconsistency for Incremental Equational Logic Programming
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 2010
Programming Languages and Systems: Proc./19th European Symposium ESOP 2010, Joint European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Reachability Problems: Proc./3rd International Workshop, RP 2009, Palaiseau, France, September 2009
Reachability Problems: Proc./6th International Workshop, RP 2012, Bordeaux, France, September 2012
Rewriting Logic and Its Applications: Revised Selected Papers/8th International Workshop, WRLA 2010, Helds as Satellite Event of ETAPS 2010, Paphos, Cyprus, March 2010
Synthetic Topiary
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008
Unconventional Computation: Proc./9th International Conference, UC 2010, Tokyo, Japan, June 2010
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители