Criterii căutate


Sumarul căutării

  • 1 articol
Tip Anul Publicație și Volum/Nr. Realizatori Titlul articolui Secțiunea Pagina Limba
articol de periodic 2004 Revue Roumaine de Mathematiques Pures et Appliquees, xlix-1 LEUȘTEAN, Ioana (autor) Handbook of Proof Techniques for Computer Science - Krantz Steven 92-92