skip to content
Complexité et décidabilité Preview this item
ClosePreview this item
Checking...

Complexité et décidabilité

Author: Patrick Dehornoy; J -M Ghidaglia; P Lascaux; Société de mathématiques appliquées et industrielles.
Publisher: Paris ; Berlin : Springer-Verlag, ©1993.
Series: Mathématiques & applications, 12.
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 online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Dehornoy, Patrick.
Complexité et décidabilité.
Paris ; Berlin : Springer-Verlag, ©1993
(OCoLC)707688551
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Patrick Dehornoy; J -M Ghidaglia; P Lascaux; Société de mathématiques appliquées et industrielles.
ISBN: 3540568999 9783540568995 2287004165 9782287004162
OCLC Number: 30501676
Description: 200 p.
Series Title: Mathématiques & applications, 12.
Responsibility: Patrick Dehornoy.
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/30501676> # Complexité et décidabilité
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "30501676" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31999710#Place/berlin> ; # Berlin
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31999710#Place/paris> ; # Paris
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/entscheidbarkeit> ; # Entscheidbarkeit
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/theorie_nombre> ; # théorie nombre
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/algorithmes> ; # Algorithmes
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/komplexitat> ; # Komplexität
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/turing_machines_de> ; # Turing, Machines de
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/fonction_recursive> ; # fonction récursive
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/algorithme> ; # algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/logique_1er_ordre> ; # logique 1er ordre
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/automate_informatique_complexite_decidabilite_logique_mathematique> ; # automate (informatique)--complexité--décidabilité--logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/machine_turing> ; # machine Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (Informatique)
    schema:about <http://dewey.info/class/004.015/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/complexite> ; # complexité
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/decidabilite> ; # décidabilité
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/31999710#Topic/calcul_booleen> ; # calcul booléen
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/14805774> ; # Jean-Michel Ghidaglia
    schema:contributor <http://viaf.org/viaf/65302475> ; # P. Lascaux
    schema:contributor <http://experiment.worldcat.org/entity/work/data/31999710#Organization/societe_de_mathematiques_appliquees_et_industrielles> ; # Société de mathématiques appliquées et industrielles.
    schema:copyrightYear "1993" ;
    schema:creator <http://viaf.org/viaf/14853411> ; # Patrick Dehornoy
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/31999710> ;
    schema:inLanguage "fr" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/31999710#Series/mathematiques_&_applications> ; # Mathématiques & applications ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/707688551> ;
    schema:name "Complexité et décidabilité"@fr ;
    schema:numberOfPages "200" ;
    schema:productID "30501676" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/30501676#PublicationEvent/paris_berlin_springer_verlag_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/31999710#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz037736175cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9782287004162> ;
    schema:workExample <http://worldcat.org/isbn/9783540568995> ;
    umbel:isLike <http://d-nb.info/931678269> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/30501676> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/31999710#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Organization/societe_de_mathematiques_appliquees_et_industrielles> # Société de mathématiques appliquées et industrielles.
    a schema:Organization ;
    schema:name "Société de mathématiques appliquées et industrielles." ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Series/mathematiques_&_applications> # Mathématiques & applications ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/30501676> ; # Complexité et décidabilité
    schema:name "Mathématiques & applications ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/automate_informatique_complexite_decidabilite_logique_mathematique> # automate (informatique)--complexité--décidabilité--logique mathématique
    a schema:Intangible ;
    schema:name "automate (informatique)--complexité--décidabilité--logique mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
    schema:name "Berechnungskomplexität"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/complexite_de_calcul_informatique> # Complexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/entscheidbarkeit> # Entscheidbarkeit
    a schema:Intangible ;
    schema:name "Entscheidbarkeit"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/fonction_recursive> # fonction récursive
    a schema:Intangible ;
    schema:name "fonction récursive"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/logique_1er_ordre> # logique 1er ordre
    a schema:Intangible ;
    schema:name "logique 1er ordre"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Topic/turing_machines_de> # Turing, Machines de
    a schema:Intangible ;
    schema:name "Turing, Machines de"@fr ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@fr ;
    .

<http://viaf.org/viaf/14805774> # Jean-Michel Ghidaglia
    a schema:Person ;
    schema:familyName "Ghidaglia" ;
    schema:givenName "Jean-Michel" ;
    schema:givenName "J.-M" ;
    schema:name "Jean-Michel Ghidaglia" ;
    .

<http://viaf.org/viaf/14853411> # Patrick Dehornoy
    a schema:Person ;
    schema:familyName "Dehornoy" ;
    schema:givenName "Patrick" ;
    schema:name "Patrick Dehornoy" ;
    .

<http://viaf.org/viaf/65302475> # P. Lascaux
    a schema:Person ;
    schema:familyName "Lascaux" ;
    schema:givenName "P." ;
    schema:name "P. Lascaux" ;
    .

<http://worldcat.org/isbn/9782287004162>
    a schema:ProductModel ;
    schema:isbn "2287004165" ;
    schema:isbn "9782287004162" ;
    .

<http://worldcat.org/isbn/9783540568995>
    a schema:ProductModel ;
    schema:isbn "3540568999" ;
    schema:isbn "9783540568995" ;
    .

<http://www.worldcat.org/oclc/707688551>
    a schema:CreativeWork ;
    rdfs:label "Complexité et décidabilité." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/30501676> ; # Complexité et décidabilité
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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