Chin-Liang Chang

Langue :anglais
Note :
Mathématicien. - Chercheur au Artificial intelligence center, Lockheed missiles & space compagny, inc., Mento park, Calif. (en 1973)
ISNI :ISNI 0000 0001 1061 4979

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
    Auteur du texte : Richard Char-Tung Lee

    [catalogue][http://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 / Chin-Liang Chang [et al.], 1973
  • Ouvrages de reference : LCNA, 1977-1986
  • Catalogues de la BnF : BN Service chinois

Pages équivalentes