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
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://experiment.worldcat.org/entity/work/data/31999710#Person/ghidaglia_j_m_jean_michel> ; # 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://experiment.worldcat.org/entity/work/data/31999710#Person/dehornoy_patrick> ; # 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#Person/dehornoy_patrick> # Patrick Dehornoy
    a schema:Person ;
   schema:familyName "Dehornoy" ;
   schema:givenName "Patrick" ;
   schema:name "Patrick Dehornoy" ;
    .

<http://experiment.worldcat.org/entity/work/data/31999710#Person/ghidaglia_j_m_jean_michel> # Jean-Michel Ghidaglia
    a schema:Person ;
   schema:familyName "Ghidaglia" ;
   schema:givenName "Jean-Michel" ;
   schema:givenName "J.-M" ;
   schema:name "Jean-Michel Ghidaglia" ;
    .

<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/fonction_recursive> # fonction récursive
    a schema:Intangible ;
   schema:name "fonction récursive"@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/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.