Criterii căutate
- Tip publicație: periodic
- Realizator: LEUŞTEAN, Ioana
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 |