Mechanized reasoning and hardware design

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://id.worldcat.org/fast/1002048
http://experiment.worldcat.org/entity/work/data/367660171#Topic/disseny_logic_informatica
http://id.loc.gov/authorities/subjects/sh85084898
http://experiment.worldcat.org/entity/work/data/367660171#Topic/microprocessadors_disseny_informatica
http://experiment.worldcat.org/entity/work/data/367660171#Topic/racunalnistvo_strojna_oprema_mikroprocesorji_posvetovanja_zborniki
http://id.worldcat.org/fast/1020011
http://id.loc.gov/authorities/subjects/sh85078119

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/367660171#Organization/royal_society_great_britain
http://viaf.org/viaf/157503209
http://worldcat.org/entity/person/id/2721585073
http://id.loc.gov/authorities/names/nb2004308660
http://worldcat.org/entity/person/id/2672852477
http://experiment.worldcat.org/entity/work/data/367660171#Meeting/discussion_royal_society_1991_10_03_04_london
http://worldcat.org/entity/person/id/2630834915
http://experiment.worldcat.org/entity/work/data/367660171#Meeting/mechanized_reasoning_and_hardware_design_1991_london
http://worldcat.org/entity/person/id/2742011274
http://worldcat.org/entity/person/id/2640623555

http://schema.org/editor

http://worldcat.org/entity/person/id/2636609778
http://worldcat.org/entity/person/id/2640623555
http://worldcat.org/entity/person/id/2630834915

http://schema.org/name

"Mechanized reasoning and hardware design"@en
"Mechanized reasoning and hardware design"
"Mechanized reasoning and hardware design : a discussion"@en
"Mechanised reasoning and hardware design"@en
"Mechanized Reasoning and Hardware Design : Meeting held at the Royal Society on 3 and 4 October 1991"
"Mechanized reasoning and hardware design : a discussion ; (meeting held at the Royal Society on 3 and 4 October 1991)"
"Mechanized reasoning and hardware design : (Meeting held at the Royal Society on 3 and 4 October 1991)"

http://schema.org/workExample

http://www.worldcat.org/oclc/444040783
http://www.worldcat.org/oclc/610208016
http://www.worldcat.org/oclc/437062963
http://www.worldcat.org/oclc/636438270
http://www.worldcat.org/oclc/35501443
http://www.worldcat.org/oclc/25712842
http://www.worldcat.org/oclc/831290235
http://www.worldcat.org/oclc/475804205
http://www.worldcat.org/oclc/180543718
http://www.worldcat.org/oclc/877184103
http://www.worldcat.org/oclc/803363853

Discussion. Royal Society (1991.10.03-04 London)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Discussion. Royal Society (1991.10.03-04 London)"

http://experiment.worldcat.org/entity/work/data/367660171#Meeting/discussion_royal_society_1991_10_03_04_london

Mechanized Reasoning and Hardware Design (1991 ; London)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Mechanized Reasoning and Hardware Design (1991 ; London)"

http://experiment.worldcat.org/entity/work/data/367660171#Meeting/mechanized_reasoning_and_hardware_design_1991_london

Royal Society (Great Britain)

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Royal Society (Great Britain)"

http://experiment.worldcat.org/entity/work/data/367660171#Organization/royal_society_great_britain

Disseny lògic Informàtica.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Disseny lògic Informàtica."

http://experiment.worldcat.org/entity/work/data/367660171#Topic/disseny_logic_informatica

Microprocessadors Disseny Informàtica.

rdf:type
http://schema.org/Topic
schema:name
"Microprocessadors Disseny Informàtica."

http://experiment.worldcat.org/entity/work/data/367660171#Topic/microprocessadors_disseny_informatica

računalništvo strojna oprema mikroprocesorji posvetovanja zborniki. .

rdf:type
http://schema.org/Topic
schema:name
"računalništvo strojna oprema mikroprocesorji posvetovanja zborniki. ."