Richard A. Shore

Pays :États-Unis
Langue :anglais
Note :
Mathématicien. - En poste au Department of mathematics, Cornell university, Ithaca, New York (en 1993)
ISNI :ISNI 0000 0001 0900 7813

Ses activités

Éditeur scientifique1 document

  • Recursion theory

    Description matérielle : 1 vol. (VII-528 p.)
    Description : Note : Le livre contient les actes de l'université d'été de l'AMS-ASL, sur la "Recursion theory" , qui s'est tenue à Cornell University, Ithaca, New York, du 28 juin au 16 juillet 1982.. - Notes bibliogr.
    Édition : Providence, R.I. : American mathematical society , cop. 1985
    Éditeur scientifique : Anil Nerode

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

Auteur du texte1 document

  • Logic for applications

    Description matérielle : XVII-365 p.
    Description : Note : Bibliogr. p. 329-356. Index
    Édition : Berlin ; New York : Springer , cop. 1993
    Autre auteur du texte : Anil Nerode

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

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

  • Logic for applications / Anil Nerode, Richard A. Shore, 1993
  • LCNA (CD OCLC), 1994-09

Biographie Wikipedia

Pages équivalentes