Vladimir Pavlovič Orevkov

Pays :Russie (Fédération)
Langue :russe
Note :
Mathématicien
Autres formes du nom :Vladimir Pavlovitch Orevkov
Vladimir Pavlovich Orevkov
ISNI :ISNI 0000 0000 6655 6213

Ses activités

Auteur du texte1 document

  • Complexity of proofs and their transformations in axiomatic theories

    Description matérielle : VI-153 p.
    Description : Note : Bibliogr. p. 151-153. Index
    Édition : Providence : American mathematical society , cop. 1993
    Éditeur scientifique : David Louvish
    Traducteur : David Louvish

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37423645s]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Documents de cet auteur : Complexity of proofs and their transformations in axiomatic theories / V. P. Orevkov, 1993
  • Ouvrages de reference : LCNA (CD), 1996-06
  • Catalogues de la BnF : BN Service russe

Autres formes du nom

  • Vladimir Pavlovitch Orevkov
  • Vladimir Pavlovich Orevkov

Pages équivalentes