přejít na obsah
Toward interactive design of correct programs Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Toward interactive design of correct programs

Autor Robert W Floyd; Stanford Artificial Intelligence Laboratory.
Vydavatel: [Stanford, Calif.] : Stanford University, 1971.
Edice: Memo (Stanford Artificial Intelligence Project), no. 150.
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í.

 

Vyhledat exemplář v knihovně

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

Detaily

Typ dokumentu: Book
Všichni autoři/tvůrci: Robert W Floyd; Stanford Artificial Intelligence Laboratory.
OCLC číslo: 35402755
Poznámky: Title from surrogate.
Presented at IFIP Congress 1971, Ljubljana, Yugoslavia, August 23, 1971.
Popis: 24 pages
Název edice: Memo (Stanford Artificial Intelligence Project), no. 150.
Odpovědnost: 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í.
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/35402755> # Toward interactive design of correct programs
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "35402755" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/39672210#Place/stanford_calif> ; # Stanford, Calif.
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/144851220> ; # Stanford Artificial Intelligence Laboratory.
    schema:creator <http://viaf.org/viaf/9939181> ; # Robert W. Floyd
    schema:datePublished "1971" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/39672210> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39672210#Series/memo_stanford_artificial_intelligence_project> ; # Memo (Stanford Artificial Intelligence Project) ;
    schema:name "Toward interactive design of correct programs"@en ;
    schema:productID "35402755" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/35402755#PublicationEvent/stanford_calif_stanford_university_1971> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/39672210#Agent/stanford_university> ; # Stanford University
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/35402755> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/39672210#Agent/stanford_university> # Stanford University
    a bgn:Agent ;
    schema:name "Stanford University" ;
    .

<http://experiment.worldcat.org/entity/work/data/39672210#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
    schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/39672210#Series/memo_stanford_artificial_intelligence_project> # Memo (Stanford Artificial Intelligence Project) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/35402755> ; # Toward interactive design of correct programs
    schema:name "Memo (Stanford Artificial Intelligence Project) ;" ;
    .

<http://viaf.org/viaf/144851220> # Stanford Artificial Intelligence Laboratory.
    a schema:Organization ;
    schema:name "Stanford Artificial Intelligence Laboratory." ;
    .

<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.