Публикация №4113

Название публикацииTYPE INFERENCING BASED ON COMPLETE TYPE SPECIFICATIONS
Название на другом языке
Тип публикацииСтатья
ИзданиеWORKSHOPS IN COMPUTING
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания1996
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы207-219
АннотацияНе задан
АвторыЗадорожный В.И.
Калиниченко Леонид Андреевич
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН