,

Logic in Action - An Open Logic Courseware Project.

, и .
TICTTL, том 6680 из Lecture Notes in Computer Science, стр. 141-153. Springer, (2011)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии