skip to content
Les méthodes formelles en axiomatique, Preview this item
ClosePreview this item
Checking...

Les méthodes formelles en axiomatique,

Author: Centre national de la recherche scientifique (France)
Publisher: Paris, [En] vente au Service des publications du Centre National de la recherche scientifique, 1953.
Series: Centre national de la recherche scientifique (France).; Colloques internationaux
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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Centre national de la recherche scientifique (France).
Méthodes formelles en axiomatique.
Paris, [En] vente au Service des publications du Centre National de la recherche scientifique, 1953
(OCoLC)551297907
Document Type: Book
All Authors / Contributors: Centre national de la recherche scientifique (France)
OCLC Number: 2635717
Description: x, 78 pages 25 cm.
Series Title: Centre national de la recherche scientifique (France).; Colloques internationaux
Responsibility: Paris, décembre 1950.

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/2635717> # Les méthodes formelles en axiomatique,
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "2635717" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/422874923#Place/paris> ; # Paris
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/422874923#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/152138035> ; # Centre national de la recherche scientifique (France)
   schema:datePublished "1953" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/422874923> ;
   schema:genre "Conference papers and proceedings" ;
   schema:inLanguage "fr" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/422874923#Series/its_colloques_internationaux> ; # Its Colloques internationaux,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/422874923#Series/colloques_internationaux> ; # Colloques internationaux ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/551297907> ;
   schema:name "Les méthodes formelles en axiomatique," ;
   schema:productID "2635717" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2635717#PublicationEvent/paris_en_vente_au_service_des_publications_du_centre_national_de_la_recherche_scientifique_1953> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/422874923#Agent/en_vente_au_service_des_publications_du_centre_national_de_la_recherche_scientifique> ; # [En] vente au Service des publications du Centre National de la recherche scientifique
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2635717> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/422874923#Agent/en_vente_au_service_des_publications_du_centre_national_de_la_recherche_scientifique> # [En] vente au Service des publications du Centre National de la recherche scientifique
    a bgn:Agent ;
   schema:name "[En] vente au Service des publications du Centre National de la recherche scientifique" ;
    .

<http://experiment.worldcat.org/entity/work/data/422874923#Organization/centre_national_de_la_recherche_scientifique_france> # Centre national de la recherche scientifique (France).
    a schema:Organization ;
   schema:name "Centre national de la recherche scientifique (France)." ;
    .

<http://experiment.worldcat.org/entity/work/data/422874923#Series/colloques_internationaux> # Colloques internationaux ;
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/422874923#Organization/centre_national_de_la_recherche_scientifique_france> ; # Centre national de la recherche scientifique (France).
   schema:hasPart <http://www.worldcat.org/oclc/2635717> ; # Les méthodes formelles en axiomatique,
   schema:name "Colloques internationaux ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/422874923#Series/its_colloques_internationaux> # Its Colloques internationaux,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2635717> ; # Les méthodes formelles en axiomatique,
   schema:name "Its Colloques internationaux," ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://viaf.org/viaf/152138035> # Centre national de la recherche scientifique (France)
    a schema:Organization ;
   schema:name "Centre national de la recherche scientifique (France)" ;
    .

<http://www.worldcat.org/oclc/551297907>
    a schema:CreativeWork ;
   rdfs:label "Méthodes formelles en axiomatique." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/2635717> ; # Les méthodes formelles en axiomatique,
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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