aller au contenu
New proofs of old theorems in logic and formal linguistics Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

New proofs of old theorems in logic and formal linguistics

Auteur : Robert W Floyd
Éditeur : [Pittsburgh, Pa.] : Carnegie Institute of Technology, [1966]
Collection : Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Édition/format :   Print book : AnglaisVoir toutes les éditions et tous les formats
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage : Ressource Internet
Format : Livre, Ressource Internet
Tous les auteurs / collaborateurs : Robert W Floyd
Numéro OCLC : 182954227
Notes : "November, 1966."
Description : 13 leaves : illustrations ; 28 cm.
Titre de collection : Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Responsabilité : by Robert W. Floyd.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Tags

Soyez le premier.

Ouvrages semblables

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/182954227> # New proofs of old theorems in logic and formal linguistics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "182954227" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/47434171#Place/pittsburgh_pa> ; # Pittsburgh, Pa.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   schema:about <http://id.worldcat.org/fast/871998> ; # Computational linguistics
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://dewey.info/class/510.7808/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/47434171#Person/floyd_robert_w> ; # Robert W. Floyd
   schema:datePublished "1966" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/47434171> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/47434171#Series/research_paper_carnegie_institute_of_technology_center_for_the_study_of_information_processing> ; # Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/47434171#Series/research_paper_carnegie_institute_of_technology> ; # [Research paper] / Carnegie Institute of Technology ;
   schema:name "New proofs of old theorems in logic and formal linguistics"@en ;
   schema:productID "182954227" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/182954227#PublicationEvent/pittsburgh_pa_carnegie_institute_of_technology_1966> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/47434171#Agent/carnegie_institute_of_technology> ; # Carnegie Institute of Technology
   schema:url <http://doi.library.cmu.edu/10.1184/OCLC/182954227> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/182954227> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/47434171#Agent/carnegie_institute_of_technology> # Carnegie Institute of Technology
    a bgn:Agent ;
   schema:name "Carnegie Institute of Technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/47434171#Person/floyd_robert_w> # Robert W. Floyd
    a schema:Person ;
   schema:familyName "Floyd" ;
   schema:givenName "Robert W." ;
   schema:name "Robert W. Floyd" ;
    .

<http://experiment.worldcat.org/entity/work/data/47434171#Place/pittsburgh_pa> # Pittsburgh, Pa.
    a schema:Place ;
   schema:name "Pittsburgh, Pa." ;
    .

<http://experiment.worldcat.org/entity/work/data/47434171#Series/research_paper_carnegie_institute_of_technology> # [Research paper] / Carnegie Institute of Technology ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/182954227> ; # New proofs of old theorems in logic and formal linguistics
   schema:name "[Research paper] / Carnegie Institute of Technology ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/47434171#Series/research_paper_carnegie_institute_of_technology_center_for_the_study_of_information_processing> # Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/182954227> ; # New proofs of old theorems in logic and formal linguistics
   schema:name "Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing) ;" ;
    .

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

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
   schema:name "Computer logic"@en ;
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.