Vers une formalisation de la déduction partielle de la CLP

Simple item page
dc.contributor.authorTandjaoui, Djamel
dc.date.accessioned2017-04-23T13:58:52Z
dc.date.available2017-04-23T13:58:52Z
dc.date.issued1998
dc.description87 p. : fig. ; 29 cm.(+ microfiche).fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/5339
dc.language.isofrfr_FR
dc.subjectSystémes informatiquesfr_FR
dc.subjectProgrammation logiquefr_FR
dc.subjectOptimisation mathématiquefr_FR
dc.titleVers une formalisation de la déduction partielle de la CLPfr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Tandjaoui, Djamel.pdf
Size:
118.59 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Théses de Magister