Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1931691000

Proceedings

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

http://www.productontology.org/id/Periodical_literature
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logique_symbolique_et_mathematique_congres
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logiciels_exactitude_congres
http://id.worldcat.org/fast/872413
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logica
http://id.worldcat.org/fast/1002068
http://id.worldcat.org/fast/872390
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/mathematische_logica
http://id.loc.gov/authorities/subjects/sh2007004295
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/informatica
http://id.loc.gov/authorities/subjects/sh2008107112
http://id.loc.gov/authorities/subjects/sh2008102934
http://id.worldcat.org/fast/906956
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/programmation_informatique_congres
http://experiment.worldcat.org/entity/work/data/1931691000#Topic/theoretische_informatica
http://id.loc.gov/authorities/subjects/sh85029525

http://schema.org/alternateName

"Logic in computer science"
"Logic in computer science"@en
"LICS"@en

http://schema.org/author

http://experiment.worldcat.org/entity/work/data/1931691000#Organization/ieee_symposium_on_logic_in_computer_science

http://schema.org/contributor

http://viaf.org/viaf/133151241
http://id.loc.gov/authorities/names/n50054564
http://id.loc.gov/authorities/names/no00037063
http://id.loc.gov/authorities/names/n79018777
http://viaf.org/viaf/142787442
http://viaf.org/viaf/139825222
http://id.loc.gov/authorities/names/n79018778
http://viaf.org/viaf/155801218
http://id.loc.gov/authorities/names/n81058302
http://viaf.org/viaf/133109056

http://schema.org/creator

http://id.loc.gov/authorities/names/n86034513
http://viaf.org/viaf/150718461
http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science

http://schema.org/genre

"Electronic journals"@en
"Congresverslag"
"Tijdschrift"
"Periodicals"@en
"Conference papers and proceedings"@en

http://schema.org/workExample

http://www.worldcat.org/oclc/840019353
http://www.worldcat.org/oclc/596437076
http://www.worldcat.org/oclc/900940714
http://www.worldcat.org/oclc/247513687
http://www.worldcat.org/oclc/612221178
http://www.worldcat.org/oclc/24857261
http://www.worldcat.org/oclc/14153294

Symposium on Logic in Computer Science.

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
"Symposium on Logic in Computer Science."

http://experiment.worldcat.org/entity/work/data/1931691000#Meeting/symposium_on_logic_in_computer_science

IEEE Symposium on Logic in Computer Science.

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
"IEEE Symposium on Logic in Computer Science."

http://experiment.worldcat.org/entity/work/data/1931691000#Organization/ieee_symposium_on_logic_in_computer_science

Informatica.

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

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/informatica

Logica.

rdf:type
http://schema.org/Topic
schema:name
"Logica."

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logica

Logiciels Exactitude Congrès.

rdf:type
http://schema.org/Topic
schema:name
"Logiciels Exactitude Congrès."

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logiciels_exactitude_congres

Logique symbolique et mathématique Congrès.

rdf:type
http://schema.org/Topic
schema:name
"Logique symbolique et mathématique Congrès."

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/logique_symbolique_et_mathematique_congres

Mathematische logica.

rdf:type
http://schema.org/Topic
schema:name
"Mathematische logica."

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/mathematische_logica

Programmation (Informatique) Congrès.

rdf:type
http://schema.org/Topic
schema:name
"Programmation (Informatique) Congrès."

http://experiment.worldcat.org/entity/work/data/1931691000#Topic/programmation_informatique_congres

Theoretische informatica.

rdf:type
http://schema.org/Topic
schema:name
"Theoretische informatica."

Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/1931691000

Proceedings

Open All Close All

type

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

about

http://schema.org/about

alternateName

http://schema.org/alternateName

author

http://schema.org/author

contributor

http://schema.org/contributor

creator

http://schema.org/creator

genre

http://schema.org/genre

name

http://schema.org/name

workExample

http://schema.org/workExample