Вы здесь

Robinson A.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Handbook of Automated Reasoning. Volume I 2001
  1. Robinson A.
  2. Voronkov A.
04.08.2001
М Handbook of Automated Reasoning. Volume II 2001
  1. Robinson A.
  2. Voronkov A.
04.08.2001