Algorithmes de demonstraion automatique pour le calcul des predicats classique These Marie-Helene Ngoa
Publication details: Lille Universite de Lille 1967Description: pag. dif fig 27 cmItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | II 8854 (Browse shelf(Opens below)) | Available | 0019109 |
Lucrarea este multigrafiata
There are no comments on this title.
Log in to your account to post a comment.