Вы здесь

Rouzaud Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Integrating Modes and Subtypes into a Prolog Type-checker 1992 Rouzaud Y., Nguyen-Phuong L. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994