skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Intégration de mécanismes de réécriture dans un système de satisfaction de contraintes Preview this item
ClosePreview this item
Checking...

Intégration de mécanismes de réécriture dans un système de satisfaction de contraintes

Author: Anne Liret; François Pachet; Université Pierre et Marie Curie (Paris / 1971-2017).
Publisher: [s.l.] : [s.n.], 2000.
Dissertation: Thèse de doctorat : Informatique : Paris 6 : 2000.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : French
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Intégration de mécanismes de réécriture dans un système de satisfaction de contraintes / Anne Liret
Lille : Atelier national de reproduction des thèses, 2000
Microfiches. (@Lille-Thèses)
(ABES)247055220
Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Anne Liret; François Pachet; Université Pierre et Marie Curie (Paris / 1971-2017).
OCLC Number: 494653276
Description: 1 vol. (197 f.) ; 30 cm.
Responsibility: Anne Liret ; sous la direction de François Pachet.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/494653276<\/a>> # Int\u00E9gration de m\u00E9canismes de r\u00E9\u00E9criture dans un syst\u00E8me de satisfaction de contraintes<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, bgn:Thesis<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"Th\u00E8se de doctorat : Informatique : Paris 6 : 2000.<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"494653276<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Place\/s_l<\/a>> ; # s.l.<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/fr<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/reecriture_de_contraintes_symboliques_rcs<\/a>> ; # R\u00E9\u00E9criture de Contraintes Symboliques [RCS]<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/satisfaction_de_contraintes<\/a>> ; # Satisfaction de contraintes<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/raisonnement_symbolique<\/a>> ; # Raisonnement symbolique<\/span>\n\u00A0\u00A0\u00A0\nschema:author<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Person\/liret_anne_1973<\/a>> ; # Anne Liret<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Person\/pachet_francois<\/a>> ; # Fran\u00E7ois Pachet<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Organization\/universite_pierre_et_marie_curie_paris_1971_2017<\/a>> ; # Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2000<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/368805837<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"fr<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/worldcat.org\/entity\/work\/data\/368805837#CreativeWork\/integration_de_mecanismes_de_reecriture_dans_un_systeme_de_satisfaction_de_contraintes_anne_liret<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Int\u00E9gration de m\u00E9canismes de r\u00E9\u00E9criture dans un syst\u00E8me de satisfaction de contraintes<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"494653276<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/494653276#PublicationEvent\/s_l_s_n_2000<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Agent\/s_n<\/a>> ; # [s.n.]<\/span>\n\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/494653276<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Agent\/s_n<\/a>> # [s.n.]<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"[s.n.]<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Organization\/universite_pierre_et_marie_curie_paris_1971_2017<\/a>> # Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Organization<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Universit\u00E9 Pierre et Marie Curie (Paris \/ 1971-2017).<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Person\/liret_anne_1973<\/a>> # Anne Liret<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1973<\/span>\" ;\u00A0\u00A0\u00A0\nschema:deathDate<\/a> \"\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Liret<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Anne<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Anne Liret<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Person\/pachet_francois<\/a>> # Fran\u00E7ois Pachet<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Pachet<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Fran\u00E7ois<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Fran\u00E7ois Pachet<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Place\/s_l<\/a>> # s.l.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"s.l.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/raisonnement_symbolique<\/a>> # Raisonnement symbolique<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Raisonnement symbolique<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/reecriture_de_contraintes_symboliques_rcs<\/a>> # R\u00E9\u00E9criture de Contraintes Symboliques [RCS]<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"R\u00E9\u00E9criture de Contraintes Symboliques [RCS]<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/368805837#Thing\/satisfaction_de_contraintes<\/a>> # Satisfaction de contraintes<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Thing<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Satisfaction de contraintes<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/fr<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"fr<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/entity\/work\/data\/368805837#CreativeWork\/integration_de_mecanismes_de_reecriture_dans_un_systeme_de_satisfaction_de_contraintes_anne_liret<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Int\u00E9gration de m\u00E9canismes de r\u00E9\u00E9criture dans un syst\u00E8me de satisfaction de contraintes \/ Anne Liret<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/494653276<\/a>> ; # Int\u00E9gration de m\u00E9canismes de r\u00E9\u00E9criture dans un syst\u00E8me de satisfaction de contraintes<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/494653276<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/494653276<\/a>> ; # Int\u00E9gration de m\u00E9canismes de r\u00E9\u00E9criture dans un syst\u00E8me de satisfaction de contraintes<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-07-21<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n