Formalisation des démonstrations mathématiques / André Arnold

Auteur principal : Arnold, André, 1945-, AuteurAuteur secondaire collectivité : Université Lille 1, Sciences et technologies, Etablissement de soutenanceType 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 theory
03B70, 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 education
Note de thèse: Thèse de doctorat, mathématiques appliquées, 1968, Lille 1 Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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.

to post a comment.