Return to search

Algorithmes heuristiques pour des classes décidables de la logique FOTL

Thèse de doctorat : Informatique : Paris 12 : 2004. Thèse de doctorat : Informatique : Université d'État de Saint-Petersbourg. Faculté de mathématiques et de mécanique : 2004. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/492014913
Date January 2004
CreatorsDmitrieva Prokofieva, Evguenia Beauquier, Danièle Kossovski, Nicolay.
PublisherCréteil : Université de Paris-Val-de-Marne,
Source SetsOCLC
LanguageRussian
Detected LanguageFrench
SourceThèse en texte intégral

Page generated in 0.0022 seconds