skip to content
Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs Preview this item
ClosePreview this item
Checking...

Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs

Author: Jean-Pierre Desclès; Gaëll Guibert; Benoit Sauzay
Publisher: Toulouse : Cépaduès-éditions, DL 2016, cop. 2016
Edition/Format:   Print book : 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

Document Type: Book
All Authors / Contributors: Jean-Pierre Desclès; Gaëll Guibert; Benoit Sauzay
ISBN: 9782364935303 236493530X
OCLC Number: 944443566
Notes: Le mot "lambda" dans le titre est représenté par la lettre grecque.
Description: 1 vol. (269 p.) : ill., couv. ill. en coul. ; 24 cm
Responsibility: Jean-Pierre Desclés, Gaëll Guibert, Benoît Sauzay.
More information:

Reviews

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

Tags

Be the first.

Similar Items

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/944443566> # Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "944443566" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2952035320#Place/toulouse> ; # Toulouse
   schema:about <http://experiment.worldcat.org/entity/work/data/2952035320#Topic/logique_combinatoire> ; # Logique combinatoire
   schema:about <http://dewey.info/class/511.31/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/2952035320#Topic/linguistique_informatique> ; # Linguistique--Informatique
   schema:author <http://experiment.worldcat.org/entity/work/data/2952035320#Person/descles_jean_pierre> ; # Jean-Pierre Desclès
   schema:author <http://experiment.worldcat.org/entity/work/data/2952035320#Person/sauzay_benoit_1969> ; # Benoit Sauzay
   schema:author <http://experiment.worldcat.org/entity/work/data/2952035320#Person/guibert_gaell> ; # Gaëll Guibert
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2016" ;
   schema:datePublished "DL 2016" ;
   schema:datePublished "2016" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2952035320> ;
   schema:inLanguage "fr" ;
   schema:name "Logique combinatoire et [lambda]-calcul : des logiques d'opérateurs"@fr ;
   schema:productID "944443566" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/944443566#PublicationEvent/toulouse_cepadues_editions_dl_2016_cop_2016_31_toulouse_impr_messages> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2952035320#Agent/cepadues_editions> ; # Cépaduès-éditions
   schema:workExample <http://worldcat.org/isbn/9782364935303> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/944443566> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2952035320#Agent/cepadues_editions> # Cépaduès-éditions
    a bgn:Agent ;
   schema:name "Cépaduès-éditions" ;
    .

<http://experiment.worldcat.org/entity/work/data/2952035320#Person/descles_jean_pierre> # Jean-Pierre Desclès
    a schema:Person ;
   schema:familyName "Desclès" ;
   schema:givenName "Jean-Pierre" ;
   schema:name "Jean-Pierre Desclès" ;
    .

<http://experiment.worldcat.org/entity/work/data/2952035320#Person/guibert_gaell> # Gaëll Guibert
    a schema:Person ;
   schema:familyName "Guibert" ;
   schema:givenName "Gaëll" ;
   schema:name "Gaëll Guibert" ;
    .

<http://experiment.worldcat.org/entity/work/data/2952035320#Person/sauzay_benoit_1969> # Benoit Sauzay
    a schema:Person ;
   schema:birthDate "1969" ;
   schema:deathDate "" ;
   schema:familyName "Sauzay" ;
   schema:givenName "Benoit" ;
   schema:name "Benoit Sauzay" ;
    .

<http://experiment.worldcat.org/entity/work/data/2952035320#Topic/linguistique_informatique> # Linguistique--Informatique
    a schema:Intangible ;
   schema:name "Linguistique--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/2952035320#Topic/logique_combinatoire> # Logique combinatoire
    a schema:Intangible ;
   schema:name "Logique combinatoire"@fr ;
    .

<http://worldcat.org/isbn/9782364935303>
    a schema:ProductModel ;
   schema:isbn "236493530X" ;
   schema:isbn "9782364935303" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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