Criterii căutate
- 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 |