Вы здесь

Subramaniam M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated reasoning about parallel algorithms using powerlists 1995 Kapur D., Subramaniam M. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Using Linear Arithmetic Procedure for Generating Induction Schemes 1994 Kapur D., Subramaniam M. Lecture Notes in Computer Science 11.01.1995