přejít na obsah
New proofs of old theorems in logic and formal linguistics Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

New proofs of old theorems in logic and formal linguistics

Autor Robert W Floyd
Vydavatel: [Pittsburgh, Pa.] : Carnegie Institute of Technology, [1966]
Edice: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Vydání/formát:   book_printbook : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ materiálu: Internetový zdroj
Typ dokumentu: Book, Internet Resource
Všichni autoři/tvůrci: Robert W Floyd
OCLC číslo: 182954227
Poznámky: "November, 1966."
Popis: 13 leaves : illustrations ; 28 cm.
Název edice: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Odpovědnost: by Robert W. Floyd.

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.

Podobné dokumenty

Související předmětová hesla:(2)

Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená 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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.