Электронный каталог

страница из

всего найдено записей: 1,
  отображать
10 записей 20 записей 40 записей

Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / Ed.: J. J. Joyce, C.-J.H. Seger, 1994. - IX,517 p. p. - Текст : непосредственный.