{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BA86700178.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BA86700178#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BA86700178.json"},"dc:title":[{"@value":"Implication techniques for Boolean functions"}],"dc:creator":"R.S. Gaines","dc:publisher":[{"@value":"Princeton University"}],"dcterms:extent":"9 p.","cinii:size":"28 cm","dc:language":"eng","dc:date":"1964","cinii:ncid":"BA86700178","cinii:ownerCount":"1","foaf:maker":[{"@type":"foaf:Person","foaf:name":[{"@value":"Gaines, R. S."}]},{"@id":"https://ci.nii.ac.jp/author/DA16233562#entity","@type":"foaf:Person","foaf:name":[{"@value":"Symposium on Switching Circuit Theory and Logical Design"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA001787","@type":"foaf:Organization","foaf:name":"東京大学 総合図書館","rdfs:seeAlso":{"@id":"https://opac.dl.itc.u-tokyo.ac.jp/opac/opac_openurl/?ncid=BA86700178"}}],"prism:publicationDate":["1964"],"cinii:note":["\"August 1964\"","This work was supported in part by Bell Telephone Laboratories, Murray Hill, New Jersey\"","\"For presentation at the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, November 11, 12 and 13, 1964\"","Includes bibliographical references (p. 9)"],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BA86696070#entity","dc:title":"Technical report / Digital Systems Laboratory, no. 39","@type":"bibo:Book"}]}]}