Art Quaife

Pays :États-Unis
Langue :anglais
Note :
Mathématicien. - En poste à Trans time, Inc., Oakland, Californie (en 1992)
ISNI :ISNI 0000 0000 8098 7810

Ses activités

Auteur du texte1 document

  • Automated development of fundamental mathematical theories

    Description matérielle : XVIII-271 p.
    Description : Note : Bibliogr. p. 259-265. Index
    Édition : Dordrecht : Kluwer academic , cop. 1992

    disponible en Haut de Jardin

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

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

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

Sources de la notice

  • Automated development of fundamental mathematical theories / by Art Quaife, 1992

Pages équivalentes