skip to content
Logique, réduction, résolution Preview this item
ClosePreview this item
Checking...

Logique, réduction, résolution

Author: René Lalement; Michel Demazure
Publisher: Paris : Masson, 1990.
Series: Etudes et recherches en informatique.
Edition/Format:   Print book : FrenchView all editions and formats
Database:WorldCat
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

Document Type: Book
All Authors / Contributors: René Lalement; Michel Demazure
ISBN: 2225821046 9782225821042
OCLC Number: 23035107
Notes: Includes index.
Description: 370 p. ; 24 cm.
Series Title: Etudes et recherches en informatique.
Responsibility: René Lalement-- ; préf. de Michel Demazure.
More information:

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


Primary Entity

<http://www.worldcat.org/oclc/23035107> # Logique, réduction, résolution
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "23035107" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4020202037#Place/paris> ; # Paris
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/traitement_automatique_des_donnees> ; # Traitement automatique des données
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_equationnelle> ; # logique équationnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/reecriture> ; # réécriture
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_mathematique> ; # logique mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/informatik> ; # Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/resolution_probleme> ; # résolution problème
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/modele> ; # modèle
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_dynamique> ; # Programmation dynamique
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/reduction> ; # réduction
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_1er_ordre> ; # logique 1er ordre
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_fonctionnelle> ; # programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/4020202037#Topic/lambda_calcul> ; # lambda calcul
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4020202037#Person/demazure_michel> ; # Michel Demazure
   schema:creator <http://experiment.worldcat.org/entity/work/data/4020202037#Person/lalement_rene> ; # René Lalement
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4020202037> ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://worldcat.org/issn/0763-2770> ; # Etudes et recherches en informatique.
   schema:name "Logique, réduction, résolution"@fr ;
   schema:numberOfPages "370" ;
   schema:productID "23035107" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/23035107#PublicationEvent/paris_masson_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4020202037#Agent/masson> ; # Masson
   schema:workExample <http://worldcat.org/isbn/9782225821042> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/23035107> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4020202037#Person/demazure_michel> # Michel Demazure
    a schema:Person ;
   schema:familyName "Demazure" ;
   schema:givenName "Michel" ;
   schema:name "Michel Demazure" ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Person/lalement_rene> # René Lalement
    a schema:Person ;
   schema:familyName "Lalement" ;
   schema:givenName "René" ;
   schema:name "René Lalement" ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_equationnelle> # logique équationnelle
    a schema:Intangible ;
   schema:name "logique équationnelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_dynamique> # Programmation dynamique
    a schema:Intangible ;
   schema:name "Programmation dynamique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/programmation_fonctionnelle> # programmation fonctionnelle
    a schema:Intangible ;
   schema:name "programmation fonctionnelle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/resolution_probleme> # résolution problème
    a schema:Intangible ;
   schema:name "résolution problème"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4020202037#Topic/traitement_automatique_des_donnees> # Traitement automatique des données
    a schema:Intangible ;
   schema:name "Traitement automatique des données"@fr ;
    .

<http://worldcat.org/isbn/9782225821042>
    a schema:ProductModel ;
   schema:isbn "2225821046" ;
   schema:isbn "9782225821042" ;
    .

<http://worldcat.org/issn/0763-2770> # Etudes et recherches en informatique.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/23035107> ; # Logique, réduction, résolution
   schema:issn "0763-2770" ;
   schema:name "Etudes et recherches en informatique." ;
   schema:name "Etudes et recherches en informatique," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.