Handbook of Proof Techniques for Computer Science - Krantz Steven Vezi publicația: Revue Roumaine de Mathematiques Pures et Appliquees Anul publicaţiei: 2004Referinţă bibliografică pentru nr. revistă: xlix-1; anul 2004 Paginaţia: 92-92 Navigare în nr. revistă: |< < 15 / 15 > >| Realizatori:  LEUȘTEAN, Ioana (autor) Descriptori:  informatică