doorgaan naar inhoud
New proofs of old theorems in logic and formal linguistics Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

New proofs of old theorems in logic and formal linguistics

Auteur: Robert W Floyd
Uitgever: [Pittsburgh, Pa.] : Carnegie Institute of Technology, [1966]
Serie: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: Robert W Floyd
OCLC-nummer: 182954227
Opmerkingen: "November, 1966."
Beschrijving: 13 leaves : illustrations ; 28 cm.
Serietitel: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Verantwoordelijkheid: by Robert W. Floyd.

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.

Vergelijkbare items

Verwante onderwerpen:(2)

Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


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://viaf.org/viaf/9939181> ; # 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#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 ;
    .

<http://viaf.org/viaf/9939181> # Robert W. Floyd
    a schema:Person ;
    schema:familyName "Floyd" ;
    schema:givenName "Robert W." ;
    schema:name "Robert W. Floyd" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.