( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Graphical Tool for Proving Unity Progress.

, , и . TPHOLs, том 859 из Lecture Notes in Computer Science, стр. 17-32. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Renate Dam

Ria Dam

Jürgen Dam

mihir dam

Nicole Dam

 

Другие публикации лиц с тем же именем

Program Verification using HOL-UNITY., , и . HUG, том 780 из Lecture Notes in Computer Science, стр. 1-15. Springer, (1993)A Graphical Tool for Proving Unity Progress., , и . TPHOLs, том 859 из Lecture Notes in Computer Science, стр. 17-32. Springer, (1994)Recursive Boolean Functions in HOL., и . TPHOLs, стр. 367-377. IEEE Computer Society, (1991)The HOL-UNITY Verification System., , , , и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 795-796. Springer, (1995)Graph model of LAMBDA in Higher Order Logic.. HUG, том 780 из Lecture Notes in Computer Science, стр. 16-28. Springer, (1993)