ข้ามไปที่เนือ้หา
Social processes and proofs of theorems and programs แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

Social processes and proofs of theorems and programs

ผู้แต่ง: Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
สำนักพิมพ์: [New Haven, Conn.] : Yale University, Dept. of Computer Science, 1978.
ชุด: Research report (Yale University. Department of Computer Science), 136.
ครั้งที่พิมพ์/รูปแบบ:   Print book : ภาษาอังกฤษดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล:WorldCat
คะแนน:

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

หัวเรื่อง
เพิ่มเติมเช่นนี้

 

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

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

รายละเอียด

ประเภทของเอกสาร: หนังสือ
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Richard A DeMillio; Richard J Lipton; Alan J Perlis; Yale University. Department of Computer Science.
OCLC Number: 11301774
คำอธิบาย: 34 pages ; 28 cm.
ชื่อชุด: Research report (Yale University. Department of Computer Science), 136.
ความรับผิดชอบ: Richard A. DeMillio, Richard J. Lipton, and Alan J. Perlis.

รีวิว

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

แท็ก

เป็นคนแรก.

รายการคล้ายกัน

หัวเรื่องที่เกี่ยวข้อง:(1)

ยืนยันคำขอนี้

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

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


Primary Entity

<http://www.worldcat.org/oclc/11301774> # Social processes and proofs of theorems and programs
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "11301774" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ctu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2243483528#Place/new_haven_conn> ; # New Haven, Conn.
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2243483528#Person/lipton_richard_j> ; # Richard J. Lipton
   schema:contributor <http://experiment.worldcat.org/entity/work/data/2243483528#Person/perlis_alan_j> ; # Alan J. Perlis
   schema:contributor <http://viaf.org/viaf/128296912> ; # Yale University. Department of Computer Science.
   schema:creator <http://experiment.worldcat.org/entity/work/data/2243483528#Person/demillio_richard_a> ; # Richard A. DeMillio
   schema:datePublished "1978" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2243483528> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_department_of_computer_science> ; # Research report (Yale University. Department of Computer Science) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_dept_of_computer_science> ; # Research report / Yale University. Dept of Computer Science ;
   schema:name "Social processes and proofs of theorems and programs"@en ;
   schema:productID "11301774" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/11301774#PublicationEvent/new_haven_conn_yale_university_dept_of_computer_science_1978> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2243483528#Agent/yale_university_dept_of_computer_science> ; # Yale University, Dept. of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/11301774> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2243483528#Agent/yale_university_dept_of_computer_science> # Yale University, Dept. of Computer Science
    a bgn:Agent ;
   schema:name "Yale University, Dept. of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/demillio_richard_a> # Richard A. DeMillio
    a schema:Person ;
   schema:familyName "DeMillio" ;
   schema:givenName "Richard A." ;
   schema:name "Richard A. DeMillio" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/lipton_richard_j> # Richard J. Lipton
    a schema:Person ;
   schema:familyName "Lipton" ;
   schema:givenName "Richard J." ;
   schema:name "Richard J. Lipton" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Person/perlis_alan_j> # Alan J. Perlis
    a schema:Person ;
   schema:familyName "Perlis" ;
   schema:givenName "Alan J." ;
   schema:name "Alan J. Perlis" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Place/new_haven_conn> # New Haven, Conn.
    a schema:Place ;
   schema:name "New Haven, Conn." ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_department_of_computer_science> # Research report (Yale University. Department of Computer Science) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/11301774> ; # Social processes and proofs of theorems and programs
   schema:name "Research report (Yale University. Department of Computer Science) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2243483528#Series/research_report_yale_university_dept_of_computer_science> # Research report / Yale University. Dept of Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/11301774> ; # Social processes and proofs of theorems and programs
   schema:name "Research report / Yale University. Dept of Computer Science ;" ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/128296912> # Yale University. Department of Computer Science.
    a schema:Organization ;
   schema:name "Yale University. Department of Computer Science." ;
    .


Content-negotiable representations

Close Window

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

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