Gopalan Nadathur

Langue :anglais
Sexe :masculin
Note :
Professeur en informatique et sciences de l'ingénieur. - En poste : University of Minnesota, Minneapolis (en 2012)
ISNI :ISNI 0000 0001 1643 0361

Ses activités

Auteur du texte1 document

  • Programming with higher-order logic

    Description matérielle : 1 vol. (XIII-306 p.)
    Description : Note : Bibliogr. p. 289-299
    Édition : New York : Cambridge university press , 2012
    Auteur du texte : Dale Miller

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

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

  • Programming with higher-order logic / Dale Miller, Gopalan Nadathur, 2012

Pages équivalentes