Вы здесь

Главная

Slaney J. K.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Deduction - CADE-13: Proc./13th Intern. Conf. on Automated Deduction. New Brunswick, NJ, USA, July-August 1996 1996 Lecture Notes in Artificial Intelligence
  1. Mcrobbie M. A.
  2. Slaney J. K.
 01.08.1996