passa ai contenuti
New proofs of old theorems in logic and formal linguistics Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

New proofs of old theorems in logic and formal linguistics

Autore: Robert W Floyd
Editore: [Pittsburgh, Pa.] : Carnegie Institute of Technology, [1966]
Serie: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: Robert W Floyd
Numero OCLC: 182954227
Note: "November, 1966."
Descrizione: 13 leaves : illustrations ; 28 cm.
Titolo della serie: Research paper (Carnegie Institute of Technology. Center for the Study of Information Processing), 66-10.
Responsabilità: by Robert W. Floyd.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.

Documenti simili

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.