Formalisation des démonstrations mathématiques / André Arnold
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1968Description : 1 vol. (pagination multiple) : fig., tableaux ; 30 cmBibliographie : Bibliogr. en fin de volume.Sujet MSC : 94A05, Communication, information, Communication theory03B70, General logic, Logic in computer science
68Q45, Computer science - Theory of computing, Formal languages and automata
68Q60, Computer science - Theory of computing, Specification and verification
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, mathématiques appliquées, 1968, Lille 1 Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses ARN (Browse shelf(Opens below)) | Available | 05242-01 |
Bibliogr. en fin de volume
Thèse de doctorat mathématiques appliquées 1968 Lille 1
There are no comments on this title.