Richard Char-Tung Lee

Langue :anglais
Note :
Écrit aussi en chinois?
Mathématicien. - Professeur au College of Engineering, National Qinghua University, Xinchu, Taiwan (en 1973)
Autres formes du nom :Richard Char-Tung Lee
Char-Tung Richard Lee
ISNI :ISNI 0000 0001 0857 9676

Ses activités

Auteur du texte1 document

  • Symbolic logic and mechanical theorem proving

    Description matérielle : XIII-331 p.
    Description : Note : Bibliogr. p. 309-324. Index
    Édition : San Diego : Academic press , cop. 1973
    Autre auteur du texte : Chin-Liang Chang

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37361125z]

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 : Symbolic logic and mechanical theorem proving / Richard Char-Tung Lee [et al.], 1973
  • Ouvrages de reference : LCNA, 1987-1990 : Lee, Richard Char-Tung
  • Catalogues de la BnF : BN Service chinois

Autres formes du nom

  • Richard Char-Tung Lee
  • Char-Tung Richard Lee

Pages équivalentes