ข้ามไปที่เนือ้หา
Toward interactive design of correct programs แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

Toward interactive design of correct programs

ผู้แต่ง: Robert W Floyd; Stanford Artificial Intelligence Laboratory.
สำนักพิมพ์: [Stanford, Calif.] : Stanford University, 1971.
ชุด: Memo (Stanford Artificial Intelligence Project), no. 150.
ครั้งที่พิมพ์/รูปแบบ:   Print book : ภาษาอังกฤษดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล:WorldCat
คะแนน:

(ยังไม่ให้คะแนน) 0 กับความคิดเห็น - เป็นคนแรก

 

ค้นหาสำเนาในห้องสมุด

&AllPage.SpinnerRetrieving; ค้นหาห้องสมุดที่มีรายการนี้

รายละเอียด

ประเภทของเอกสาร: หนังสือ
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Robert W Floyd; Stanford Artificial Intelligence Laboratory.
OCLC Number: 35402755
หมายเหตุ: Title from surrogate.
Presented at IFIP Congress 1971, Ljubljana, Yugoslavia, August 23, 1971.
คำอธิบาย: 24 pages
ชื่อชุด: Memo (Stanford Artificial Intelligence Project), no. 150.
ความรับผิดชอบ: Robert W. Floyd.

รีวิว

ความคิดเห็นผู้ที่ใช้งาน
กำลังค้นคืน รีวิว GoodReads…
ค้นคืน DOGObooks บทวิจารณ์

แท็ก

เป็นคนแรก.
ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

เชิ่อมโยงข้อมูล


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

Close Window

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.