Normal view MARC view ISBD view

Algorithmes de demonstraion automatique pour le calcul des predicats classique These Marie-Helene Ngoa

By:

Publication details: Lille Universite de Lille 1967Description: pag. dif fig 27 cm

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 8854 (Browse shelf(Opens below))	Available		0019109

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	II 8850 Schemas relatifs Theses	II 8851 Approximation rationnelle avec contraites Theses	II 8853 Etude asymptotique de quelques processus de Markov multiples non homogenes Theses	II 8854 Algorithmes de demonstraion automatique pour le calcul des predicats classique These	II 8855 Conditions d'optimalite et dualite en programmation mathematique These	II 8856 Integrales singulieres et fonctions differentiables de plusieurs variables	II 8857 Seminar d'analyse harmonique Orsay	Next

Lucrarea este multigrafiata

There are no comments on this title.

to post a comment.