Вы здесь

Meyer J.

×

Сообщение об ошибке

  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции _registry_check_code() (строка 3575 в файле includes/bootstrap.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции theme() (строка 1065 в файле includes/theme.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции theme() (строка 1065 в файле includes/theme.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции theme() (строка 1065 в файле includes/theme.inc).
  • Warning: include_once(): Unable to allocate memory for pool. в функции theme() (строка 1065 в файле includes/theme.inc).

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Epistemic Logic for Computer Science: A Tutorial (Part One) 1991 Meyer J., Van Der Hock W., Wreeswijk G. EATCS Bull. 19.09.1991
СТ An Architecture for Interactive Program Provers 2000 Meyer J., Poetzsch-Heffter A. Lecture Notes in Computer Science 26.04.2000

Редактор: