• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

A Rewriting Framework and Logic for Activities Subject to Regulations

Kanovich M., Scedrov A., Nigam V., Talcott C., Kirigin T. B., Perovic R.