skip to content
Automation in language translation and theorem proving. Some applications of mathematical logic. Preview this item
ClosePreview this item
Checking...

Automation in language translation and theorem proving. Some applications of mathematical logic.

Author: P Braffort; F van Scheepen; Commission of the European Communities. Directorate-General for Dissemination of Information.
Publisher: Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information, 1968.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Automation in language translation and theorem proving.
Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information, 1968
(OCoLC)571170308
Document Type: Book
All Authors / Contributors: P Braffort; F van Scheepen; Commission of the European Communities. Directorate-General for Dissemination of Information.
OCLC Number: 77840
Notes: "EUR 4038 e."
Description: xv, 295 pages 25 cm
Responsibility: Edited by P. Braffort and F. van Scheepen.

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/77840> # Automation in language translation and theorem proving. Some applications of mathematical logic.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "77840" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/be> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/365274334#Place/brussels> ; # Brussels
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/cybernetique> ; # Cybernétique
   schema:about <http://id.worldcat.org/fast/871998> ; # Computational linguistics
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/computational_linguistics> ; # Computational linguistics
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/informatique> ; # Informatique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1012082> ; # Mathematical linguistics
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/communication> ; # Communication
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/365274334#Topic/mathematical_linguistics> ; # Mathematical linguistics
   schema:about <http://dewey.info/class/001.53/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/136159933> ; # Commission of the European Communities. Directorate-General for Dissemination of Information.
   schema:datePublished "1968" ;
   schema:editor <http://viaf.org/viaf/56740655> ; # Paul Braffort
   schema:editor <http://viaf.org/viaf/43334772> ; # F. van Scheepen
   schema:exampleOfWork <http://worldcat.org/entity/work/id/365274334> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/571170308> ;
   schema:name "Automation in language translation and theorem proving. Some applications of mathematical logic."@en ;
   schema:productID "77840" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/77840#PublicationEvent/brussels_commission_of_the_european_communities_directorate_general_for_dissemination_of_information_1968> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/365274334#Agent/commission_of_the_european_communities_directorate_general_for_dissemination_of_information> ; # Commission of the European Communities, Directorate-General for Dissemination of Information
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/77840> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/365274334#Agent/commission_of_the_european_communities_directorate_general_for_dissemination_of_information> # Commission of the European Communities, Directorate-General for Dissemination of Information
    a bgn:Agent ;
   schema:name "Commission of the European Communities, Directorate-General for Dissemination of Information" ;
    .

<http://experiment.worldcat.org/entity/work/data/365274334#Topic/computational_linguistics> # Computational linguistics
    a schema:Intangible ;
   schema:name "Computational linguistics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365274334#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/365274334#Topic/mathematical_linguistics> # Mathematical linguistics
    a schema:Intangible ;
   schema:name "Mathematical linguistics"@en ;
    .

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

<http://id.worldcat.org/fast/1012082> # Mathematical linguistics
    a schema:Intangible ;
   schema:name "Mathematical linguistics"@en ;
    .

<http://id.worldcat.org/fast/871998> # Computational linguistics
    a schema:Intangible ;
   schema:name "Computational linguistics"@en ;
    .

<http://viaf.org/viaf/136159933> # Commission of the European Communities. Directorate-General for Dissemination of Information.
    a schema:Organization ;
   schema:name "Commission of the European Communities. Directorate-General for Dissemination of Information." ;
    .

<http://viaf.org/viaf/43334772> # F. van Scheepen
    a schema:Person ;
   schema:familyName "Scheepen" ;
   schema:givenName "F. van" ;
   schema:name "F. van Scheepen" ;
    .

<http://viaf.org/viaf/56740655> # Paul Braffort
    a schema:Person ;
   schema:familyName "Braffort" ;
   schema:givenName "Paul" ;
   schema:givenName "P." ;
   schema:name "Paul Braffort" ;
    .

<http://www.worldcat.org/oclc/571170308>
    a schema:CreativeWork ;
   rdfs:label "Automation in language translation and theorem proving." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/77840> ; # Automation in language translation and theorem proving. Some applications of mathematical logic.
    .

<http://www.worldcat.org/title/-/oclc/77840>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/77840> ; # Automation in language translation and theorem proving. Some applications of mathematical logic.
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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