Normal view MARC view ISBD view

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, Theory of computing, Formal languages and automata
68Q60, 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
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses ARN (Browse shelf) Available 05242-01

Bibliogr. en fin de volume

Thèse de doctorat mathématiques appliquées 1968 Lille 1

There are no comments for this item.

Log in to your account to post a comment.